Skip to:

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

missing import in state_space_open_nodes_c

Description

line 48

myheap_empty seems to be a foreign function in myheap.pl but it is not exported

Environment

None

Gliffy Diagrams

Activity

Show:

Jenkins Build Server August 10, 2015 at 7:24 PM

SUCCESS: Integrated in ProB_Tests_Linux64 #9423 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64/9423/)
fix missing import / export for https://probjira.atlassian.net/browse/PROB-392#icft=PROB-392 (sebastian: rev f053a07e5599cdb3dc27f691a12cd9a1867b61a3)

Jenkins Build Server August 10, 2015 at 6:23 PM

SUCCESS: Integrated in ProB_Tests_SMT_Solvers #67 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_SMT_Solvers/67/)
fix missing import / export for https://probjira.atlassian.net/browse/PROB-392#icft=PROB-392 (sebastian: rev f053a07e5599cdb3dc27f691a12cd9a1867b61a3)

Jenkins Build Server August 10, 2015 at 10:01 AM

SUCCESS: Integrated in ProB_Tests_Linux64_On_Commit #1810 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/1810/)
fix missing import / export for https://probjira.atlassian.net/browse/PROB-392#icft=PROB-392 (sebastian: rev f053a07e5599cdb3dc27f691a12cd9a1867b61a3)

Fixed

Details

Assignee

Reporter

Priority

Created July 28, 2015 at 2:00 PM
Updated August 10, 2015 at 7:24 PM
Resolved August 10, 2015 at 9:39 AM
Configure