Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Error messages in Animator after Disprover run

Description

After running the ProB Disprover, error messages are thrown in the animator (query unexpectedly failed, "ProB could not find valid constants which satisfy the properties.")

Environment

Rodin 3.1, nightly build

Gliffy Diagrams

Activity

Show:

Michael Leuschel February 5, 2015 at 9:18 AM

Has been fixed by using auxiliary second animator for Disprover.
In probcli, the unsat component info is also better cleared now to avoid spurious messages about unsatisfiable properties.

Jenkins Build Server February 5, 2015 at 7:42 AM

SUCCESS: Integrated in ProB_Tests_Linux64_On_Commit #1109 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/1109/)

Jenkins Build Server February 4, 2015 at 3:48 PM

SUCCESS: Integrated in ProB_eclipse_develop_Rodin3 #284 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_eclipse_develop_Rodin3/284/)
use Aux Animator (jens: rev d4b780f2506734ada9cffdffb45d0bd6dfc622e2)

Jenkins Build Server February 4, 2015 at 3:34 PM

SUCCESS: Integrated in ProB_Tests_Linux64 #9138 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64/9138/)
reset component info upon clear_specification for (leuschel: rev ce99d9d60b492222be7a749678a43b70f7d13c47)

Fixed

Details

Assignee

Reporter

Priority

More fields

Created February 4, 2015 at 12:25 PM
Updated February 6, 2015 at 8:11 AM
Resolved February 5, 2015 at 9:18 AM
Configure