Source

Branch

1/ @dkubb

I’ve been spending a lot of time on reducing the state space of a program instead of just trying to remove branches, and then models are really good at it if you give them the right skills.

I only try to prune branches that don’t directly correspond to an invariant that my program must follow.