Overview

Job 1611

CakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
  Hook up decoder to bootstrap translation
#841 (eval)
Merging into:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform
HOL:273cdc329fc48311e6f259f3614f36602110742a
  Fix diningcryptos example to cope with removal of REAL_SUM from miller
Machine:oven3 4.19.67.1.amd64-smp

 Claimed job
 Building HOL
 Starting developers
 Finished developers                                               7s 141MB
 Starting developers/bin
 Finished developers/bin                                          12s   1GB
 Starting semantics/ffi
 Finished semantics/ffi                                           25s 247MB
 Starting semantics
 FAILED: semantics
Scanning [1m$(HOLDIR)/src/sort[0m
Scanning [1m$(HOLDIR)/src/string[0m
Scanning [1m$(HOLDIR)/src/n-bit[0m
Scanning [1m$(HOLDIR)/src/res_quan/src[0m
Scanning [1m$(HOLDIR)/src/finite_maps[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(HOLDIR)/src/quotient/src[0m
Scanning [1m$(HOLDIR)/src/transfer[0m
Scanning [1m$(HOLDIR)/src/pred_set/src/more_theories[0m
Scanning [1m$(HOLDIR)/src/coalgebras[0m
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
Holdep failed: lexer_funScript.sml 515.1 Unterminated string literal
Holmake failed with exception: HolDepFailed
Raised from: /root/regression/HOL-273cdc329fc48311e6f259f3614f36602110742a/tools/Holmake/Holmake_tools.sml: 756:0 - 756:0