team-worthwhile/worthwhile — Issue #63: Pass validity prover output in annotationFailed/Succeeded methods
Author: jspam
Created: 2012-02-17 18:41:24+00:00
State: open
Labels: interpreter

In the ```annotationFailed``` and ```annotationSucceeded``` methods of the ```ExecutionEventListener```, the prover output (which the interpreter gets from the SpecificationChecker) should also be passed in order to be shown in the GUI.

We would not need a special ```annotationFailed``` method then, but a method with a similar signature to this:

void assertionVerified(final Assertion assertion, final Validity validity, final ProverResult proverResult);

which the GUI could then handle in any way it wanted.