Job 1287

CakeML:107033ffe631f1bc87118d7432c551699eabff59
  update several makefiles [Jun 23 05:23:40]
#738 (export_update)
Merging into:7743179ad38f045d2fe295964a9c766e185bfca4
  Remove mentions of lcsymtacs (which no longer exists) [Jun 23 09:07:45]
HOL:de873d08971c87bcfbbce86cdcd59909ef803929
  Remove some Unicode in src [Jun 22 00:09:18]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jun 23 09:08:28 Claimed job
Jun 23 09:08:33 Reusing HOL
Jun 23 09:08:44 Starting developers
Jun 23 09:08:46 Finished developers                                               2s  92MB
Jun 23 09:08:47 Starting developers/bin
Jun 23 09:08:53 Finished developers/bin                                           6s   1GB
Jun 23 09:08:53 Starting semantics/ffi
Jun 23 09:09:02 Finished semantics/ffi                                            8s 254MB
Jun 23 09:09:02 Starting semantics
Jun 23 09:09:24 FAILED: semantics
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(HOLDIR)/examples/machine-code/hoare-triple[0m
Scanning [1m$(CAKEMLDIR)/misc/lem_lib_stub[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Starting work on addressTheory
Starting work on lem_list_extraTheory
Starting work on lem_set_extraTheory
Starting work on lem_stringTheory
lem_set_extraTheory                                                                                                                      real:    0s  user:    0s     OK
Starting work on lem_string_extraTheory
lem_stringTheory                                                                                                                         real:    0s  user:    0s     OK
Starting work on byteTheory
lem_list_extraTheory                                                                                                                     real:    2s  user:    2s     OK
Starting work on README.md
README.md                                                                                                                                real:    0s  user:    0s     OK
Starting work on addancs
addancs                                                                                                                                  real:    0s  user:    0s     OK
Starting work on astScript
astScript                                                                                                                                real:    0s  user:    0s     OK
Starting work on fpSemTheory
lem_string_extraTheory                                                                                                                   real:    2s  user:    2s     OK
Starting work on namespaceScript
namespaceScript                                                                                                                          real:    0s  user:    0s     OK
Starting work on namespaceTheory
byteTheory                                                                                                                               real:    3s  user:    3s     OK
Starting work on tokensScript
tokensScript                                                                                                                             real:    0s  user:    0s     OK
Starting work on tokensTheory
namespaceTheory                                                                                                                          real:    2s  user:    2s     OK
fpSemTheory                                                                                                                              real:    2s  user:    2s     OK
Starting work on astTheory
addressTheory                                                                                                                            real:    6s  user:    5s     OK
Starting work on miscTheory
tokensTheory                                                                                                                             real:    4s  user:    4s     OK
Starting work on gramTheory
astTheory                                                                                                                                real:    8s  user:    8s     OK
Starting work on semanticPrimitivesTheory
gramTheory                                                                                                                               real:   10s  user:    9s     OK
miscTheory                                                                                                                               real:   15s  user:   14sFAIL<1>
      "num_to_hex_string_length_1",
      [
         QUOTE
         " (*#loc 1860 36*)\n   \226\136\128x. x < 16 \226\135\146 (LENGTH (num_to_hex_string x) = 1)"
         ],
      ... \\ ... \\ EVAL_TAC
      )
 error in quse /home/myreen/regression/cakeml-1287/misc/miscScript.sml : Fail "Static Errors"
 error in load /home/myreen/regression/cakeml-1287/misc/miscScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
semanticPrimitivesTheory                                                                                                                                         M-KILLED