Skip to:

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

custom_expilicit_sets calls custom_explicit_set/1 which does not exist

Description

line 2842

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 13c0255879a0a6d80079af44f4b08593ab77283a)

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 13c0255879a0a6d80079af44f4b08593ab77283a)

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

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

Fixed

Details

Assignee

Reporter

Priority

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