Error messages in Animator after Disprover run
Description
Environment
Rodin 3.1, nightly build
Gliffy Diagrams
Activity

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)
Details
Details
Assignee

Reporter

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.")