Skip to:

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

missing dynamic declaration in b_machine_hierarchy.pl

Description

event_refinement_change/6 is asserted (line 505) and used (lines 681 and 712), but it is not dynamic.

Environment

None

Gliffy Diagrams

Activity

Show:

Jenkins Build Server July 29, 2015 at 3:14 AM

SUCCESS: Integrated in ProB_Tests_SMT_Solvers #61 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_SMT_Solvers/61/)
fix (event_refinement_change/6) (leuschel: rev a5bb5ead1b22e094465bba6080537763c888d811)

Jenkins Build Server July 29, 2015 at 3:09 AM

SUCCESS: Integrated in ProB_Tests_Linux64 #9417 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64/9417/)
fix (event_refinement_change/6) (leuschel: rev a5bb5ead1b22e094465bba6080537763c888d811)

Jenkins Build Server July 28, 2015 at 5:04 PM

SUCCESS: Integrated in ProB_Tests_Linux64_On_Commit #1801 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/1801/)
fix (event_refinement_change/6) (leuschel: rev a5bb5ead1b22e094465bba6080537763c888d811)

Fixed

Details

Assignee

Reporter

Priority

Created July 28, 2015 at 2:12 PM
Updated July 29, 2015 at 3:14 AM
Resolved July 28, 2015 at 4:40 PM
Configure