team-worthwhile/worthwhile — Issue #73: Better visualize proofs for assertions inserted by SpecificationChecker
Author: leonhandreke
Created: 2012-02-19 11:32:02+00:00
State: open
Labels: prover, ui

`SpecificationChecker` inserts some assertions into a program that are directly related to a syntax element but are not inserted into the code. An example for this is the "division by zero" check inserted before every division.

These proofs should show up in the UI and color the appropriate related syntax element according to the outcome of the proof.