Assertion Checking: No feedback after model checking run

Description

The attached model has one context with one theorem. ProB finishes checking the context without stating whether it found a counter-example or not.

Environment

None

Attachments

1
  • 06 May 2014, 08:50 AM

Gliffy Diagrams

Activity

Show:

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

Fixed

Details

Assignee

Reporter

Priority

More fields

Created May 6, 2014 at 8:50 AM
Updated June 3, 2014 at 1:28 PM
Resolved June 3, 2014 at 12:58 PM