Assertion Checking: No feedback after model checking run
Description
Environment
Attachments
- 06 May 2014, 08:50 AM
Gliffy Diagrams
Activity
Jenkins Build Server June 3, 2014 at 1:28 PM
SUCCESS: Integrated in
ProB_eclipse_develop_Rodin2 #17
add missing case (https://probjira.atlassian.net/browse/PROBPLUGIN-103#icft=PROBPLUGIN-103) (sebastian: rev 6bb071105c9117f018c9f212d2d76378853af5a8)
de.prob.core/src/de/prob/core/command/ConstraintBasedAssertionCheckCommand.java
de.prob.ui/src/de/prob/ui/assertion/AssertionCheckFinishedListener.java
Jenkins Build Server June 3, 2014 at 1:01 PM
SUCCESS: Integrated in
ProB_eclipse_develop_Rodin3 #55
add missing case (https://probjira.atlassian.net/browse/PROBPLUGIN-103#icft=PROBPLUGIN-103) (sebastian: rev ad12ce7855fa38737cafd751543023948e289551)
de.prob.core/src/de/prob/core/command/ConstraintBasedAssertionCheckCommand.java
de.prob.ui/src/de/prob/ui/assertion/AssertionCheckFinishedListener.java
Sebastian Krings June 3, 2014 at 12:58 PM
fixed for rodin3 and cherry-picked to rodin2
Details
Details
Assignee
Reporter
Priority
Major
The attached model has one context with one theorem. ProB finishes checking the context without stating whether it found a counter-example or not.