team-worthwhile/worthwhile — Issue #101: WPStrategy::visit(Loop) reuses AssignedVariables with their initial value set
Author: bafain
Created: 2012-02-25 00:48:41+00:00
State: open
Labels: prover