Skip to:

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

Call to non-existing add_error_fail/4 in pref_definitions.pl

Description

line 98

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 (leuschel: rev be0a020cca77ffc48fc96d2b804beab784326257)

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 (leuschel: rev be0a020cca77ffc48fc96d2b804beab784326257)

Jenkins Build Server July 28, 2015 at 4:47 PM

SUCCESS: Integrated in ProB_Tests_Linux64_On_Commit #1800 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/1800/)
fix (leuschel: rev be0a020cca77ffc48fc96d2b804beab784326257)

Fixed

Details

Assignee

Reporter

Priority

Created July 28, 2015 at 11:08 AM
Updated July 29, 2015 at 3:14 AM
Resolved July 28, 2015 at 4:18 PM
Configure