Roadmap for counterexamples
Solve bugs in ce Why3:
- bug in the task for location of terms which are dereferenced with "!" -> records.mlw ? #344
- Solve problems with polymorphism ? How ?
- Write the docs ( #237 (closed) is related)
- issue #252
- 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