Job 2866

CakeML:2a9deab6e91db380747768935512d60a84818734
  letrec progress/validity [May 31 01:26:21]
#1183 (scheme)
Merging into:b378040fc02c949ecd0a24ced798201a572514a4
  Merge pull request #1186 from CakeML/mcandidate-fix [Jun 16 00:47:48]
HOL:86a75cd8d1485d21d884aaa99aef55e9299ffb62
  [termination] [Jun 14 17:10:27]
Machine:pavlova

Jun 18 07:12:02 Claimed job
Jun 18 07:12:10 Reusing HOL
Jun 18 07:12:20 Starting developers
Jun 18 07:12:24 Finished developers                                               3s 178MB
Jun 18 07:12:25 Starting developers/bin
Jun 18 07:12:30 Finished developers/bin                                           4s 592MB
Jun 18 07:12:31 Starting misc
Jun 18 07:13:08 FAILED: misc
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/src/quotient/src
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanned 15 directories
Starting work on locationTheory
Starting work on lprefix_lubTheory
Starting work on set_sepTheory
Starting work on tailrecTheory
tailrecTheory                   examples/machine-code/hoare-triple  (0s)     OK
Starting work on README.md
README.md                                                     misc  (0s)     OK
locationTheory              examples/formal-languages/context-free  (1s)     OK
Starting work on grammarTheory
lprefix_lubTheory                  examples/fun-op-sem/lprefix_lub  (3s)     OK
Finished $(HOLDIR)/examples/fun-op-sem/lprefix_lub [#theories: 1]      (3.720s) 
grammarTheory               examples/formal-languages/context-free  (2s)     OK
Starting work on pegTheory
set_sepTheory                   examples/machine-code/hoare-triple  (6s)     OK
Starting work on progTheory
pegTheory                   examples/formal-languages/context-free  (6s)     OK
Starting work on pegexecTheory
progTheory                      examples/machine-code/hoare-triple  (5s)     OK
Starting work on addressTheory
pegexecTheory               examples/formal-languages/context-free  (3s)     OK
Finished $(HOLDIR)/examples/formal-languages/context-free [#theories: 4] (13.880s) 
addressTheory                   examples/machine-code/hoare-triple  (8s)     OK
Finished $(HOLDIR)/examples/machine-code/hoare-triple [#theories: 4]  (20.680s) 
Starting work on miscTheory
miscTheory                                                    misc (11s)FAIL<1>
   open
      alignmentTheory
      alistTheory
      arithmeticTheory
      bitstringTheory
      bagTheory
      ...
 error in quse /scratch/cakeml/regression/cakeml-2866/misc/miscScript.sml : Fail "Static Errors"
 error in load /scratch/cakeml/regression/cakeml-2866/misc/miscScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"