Job 750

CakeML:2d7716e211a3e687d5ba9f237de202f78cbc253b
  Merge pull request #619 from CakeML/reader-jlamp [Mar 05 06:58:18]
HOL:18210cd95740be7b2c0bb42169590821cedeead6
  Test round-tripping printing+parsing ( [Mar 06 06:18:26]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Mar 07 20:44:02 Claimed job
Mar 07 20:44:45 Building HOL
Mar 07 20:52:30 Starting developers
Mar 07 20:52:31 Finished developers                                               0s  22MB
Mar 07 20:52:32 Starting developers/bin
Mar 07 20:53:07 Finished developers/bin                                          34s 205MB
Mar 07 20:53:08 Starting semantics/ffi
Mar 07 20:53:38 FAILED: semantics/ffi
Starting work on locationTheory
Starting work on precparserTheory
locationTheory                                                                                                  OK
Starting work on grammarTheory
precparserTheory                                                                                                OK
grammarTheory                                                                                                   OK
Starting work on NTpropertiesTheory
Starting work on pegTheory
pegTheory                                                                                                       OK
Starting work on pegexecTheory
Starting work on simpleSexpTheory
pegexecTheory                                                                                                   OK
Starting work on pegSampleTheory
NTpropertiesTheory                                                                                              OK
pegSampleTheory                                                                                                 OK
simpleSexpTheory                                                                                                OK
Starting work on simpleSexpPEGTheory
simpleSexpPEGTheory                                                                                             OK
Starting work on simpleSexpParseTheory
simpleSexpParseTheory                                                                                           OK
]0;Holmake: ~/regression/cakeml-750/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-750/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
Starting work on lem_list_extraTheory
Starting work on lem_pervasivesTheory
Starting work on lem_pervasives_extraTheory
Starting work on lem_set_extraTheory
lem_set_extraTheory                                                                                             OK
Starting work on lem_stringTheory
lem_stringTheory                                                                                                OK
Starting work on lem_string_extraTheory
lem_pervasives_extraTheory                                                                                      OK
Starting work on README.md
README.md                                                                                                       OK
lem_list_extraTheory                                                                                            OK
lem_pervasivesTheory                                                                                            OK
Starting work on libTheory
lem_string_extraTheory                                                                                          OK
libTheory                                                                                              FAILED! <1>
 WARNING: /home/myreen/cakeml/.holpath overrides value for CAKEMLDIR from /home/myreen/regression/cakeml-750/.holpath
 <<HOL message: link_parents: the following parents of "lem_pervasives"
   should already be in the theory graph (but aren't): ("Omega",1551340722,467524), ("int_arith",1551340722,548765), ("finite_map",1551340690,146454)>>
 Exception- HOL_ERR {message = "", origin_function = "link_parents", origin_structure = "Theory"} raised
 error in quse /home/myreen/cakeml/misc/lem_lib_stub/lem_pervasivesTheory.sml : HOL_ERR {message = "", origin_function = "link_parents", origin_structure = "Theory"}
 error in load $(CAKEMLDIR)/misc/lem_lib_stub/lem_pervasivesTheory : HOL_ERR {message = "", origin_function = "link_parents", origin_structure = "Theory"}
 error in load libScript : HOL_ERR {message = "", origin_function = "link_parents", origin_structure = "Theory"}
 Uncaught exception: HOL_ERR {message = "", origin_function = "link_parents", origin_structure = "Theory"}
]0;Holmake: .