Job 401

CakeML:1b5f8be3242a8a1d13d1289f21c06650fb5eb463
  Update translator for new length check [Aug 06 19:03:49]
HOL:2abaf720bc88c75a793eac0e280e392479d1745e
  Let ANSI colouring happen on screen terminals [Aug 02 11:53:04]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Aug 06 20:02:08 Claimed job
Aug 06 20:02:12 Reusing HOL
Aug 06 20:02:20 Starting developers/bin
Aug 06 20:02:24 Finished developers/bin                                           3s 150MB
Aug 06 20:02:24 Starting semantics/ffi
Aug 06 20:02:35 Finished semantics/ffi                                            9s 268MB
Aug 06 20:02:35 Starting semantics
Aug 06 20:03:47 Finished semantics                                             1m11s 962MB
Aug 06 20:03:48 Starting semantics/proofs
Aug 06 20:06:35 Finished semantics/proofs                                      2m46s   1GB
Aug 06 20:06:36 Starting basis/pure
Aug 06 20:07:27 Finished basis/pure                                              50s 815MB
Aug 06 20:07:28 Starting translator
Aug 06 20:08:11 FAILED: translator
]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages/context-free]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ../basis/pure]0;Holmake: ../misc]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ../misc]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ../misc]0;Holmake: ../developers]0;Holmake: ../developers[1mWorking in ../developers[0m
]0;Holmake: ../misc]0;Holmake: ../misc/lem_lib_stub]0;Holmake: ../misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ../misc]0;Holmake: ../misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ../basis/pure]0;Holmake: ../basis/pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: .]0;Holmake: ../semantics]0;Holmake: ../semantics/ffi]0;Holmake: ../semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ../semantics]0;Holmake: ../semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: .]0;Holmake: ../semantics/proofs]0;Holmake: ../semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/translator[0m
Starting work on heap
heap                                                                                                       OK
Starting work on ml_progTheory
ml_progTheory                                                                                              OK
Starting work on ml_translatorTheory
ml_translatorTheory                                                                                        OK
Starting work on ml_optimiseTheory
Starting work on ml_pmatchTheory
ml_pmatchTheory                                                                                            OK
ml_optimiseTheory                                                                                          OK
Starting work on ml_module_demoTheory
Starting work on ml_pmatch_demoTheory
Starting work on ml_translator_demoTheory
Starting work on ml_translator_testTheory
ml_translator_demoTheory                                                                          FAILED! <1>
 Cannot find file /home/myreen/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/sigobj/holmake_not_interactive.ui
 error in load /home/myreen/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/sigobj/holmake_not_interactive : Fail "Cannot find file /home/myreen/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/sigobj/holmake_not_interactive.ui"
 Uncaught exception: Fail "Cannot find file /home/myreen/regression/HOL-2abaf720bc88c75a793eac0e280e392479d1745e/sigobj/holmake_not_interactive.ui"
ml_module_demoTheory                                                                                 M-KILLED
ml_pmatch_demoTheory                                                                                 M-KILLED
ml_translator_testTheory                                                                             M-KILLED