Roadmap for counterexamples
-
Solve bugs in ce Why3: -
bug in the task for location of terms which are dereferenced with "!" -> records.mlw ? #344 (closed)
-
-
Solve problems with polymorphism ? How ? -
Write the docs ( #237 (closed) is related) -
issue #252 (closed) -
Interface: -
Add a boolean in proofattempt result to indicate if counterexamples can be launched on proofattempt -
Change the status image in the ide to show that counterexamples can be queried
-