team-worthwhile/worthwhile — Issue #15: Teh Worthwhile feature Partial Proving
Author: bafain
Created: 2012-01-31 13:00:31+00:00
State: open

When calculating the weakest precondition in `WPStrategy`, beginning with the last program statement, push a new weakest precondition on a stack (which has to be added to all others currently on the stack, too) whenever an assertion is visited. Afterwards pop the stack in `SpecificationChecker`, check the validity with a prover, notify your observers about the result (see the already added `AbstractProverEventListener`) and go on with the next stack item.