Mentions légales du service

Skip to content

why3ide: counterexamples now centered on goal in counterex view

DAILLER Sylvain requested to merge issue_345 into master

Note that the goal location needs to be edited in the same way as the color locations (on the ce view) because counterexamples are introduced (adding lines).

This also adds the goal location in the Source_and_ce API constructor.

fix #345 (closed)

Edited by DAILLER Sylvain

Merge request reports