Job 1797

CakeML:f99af5a3ce396207686cb57a9c71820469fbc64c
  fix the broken proofs [Feb 25 03:30:48]
#861 (pan-to-mc_updated)
Merging into:42596dd3aaa8b5ce1a7b27086d9b979fe5f7838a
  Fixes following changes to Define in HOL [Feb 24 20:23:43]
HOL:56dc1e0e615822dd6a135a511531a138bae2688c
  Refine definition of what it is to be a vacuous pattern [Feb 25 06:46:55]
Machine:oven3+4.19.67.1.amd64-smp+

Feb 25 09:06:28 Claimed job
Feb 25 09:06:38 Building+HOL
Feb 25 09:26:33 Starting+developers
Feb 25 09:26:42 Finished+developers++++++++++++++++++++++++++++++++++++++++8.60+164496
Feb 25 09:26:42 Starting+developers/bin
Feb 25 09:26:52 Finished+developers/bin++++++++++++++++++++++++++++++++++++9.34+679732
Feb 25 09:26:52 Starting+semantics/ffi
Feb 25 09:27:16 Finished+semantics/ffi+++++++++++++++++++++++++++++++++++++24.11+247392
Feb 25 09:27:17 Starting+semantics
Feb 25 09:31:44 Finished+semantics+++++++++++++++++++++++++++++++++++++++++266.77+1082264
Feb 25 09:31:44 Starting+semantics/proofs
Feb 25 09:39:49 Finished+semantics/proofs++++++++++++++++++++++++++++++++++484.96+1666000
Feb 25 09:39:49 Starting+semantics/alt_semantics
Feb 25 09:40:28 Finished+semantics/alt_semantics+++++++++++++++++++++++++++38.05+483504
Feb 25 09:40:28 Starting+semantics/alt_semantics/proofs
Feb 25 09:45:55 Finished+semantics/alt_semantics/proofs++++++++++++++++++++326.48+1049728
Feb 25 09:45:55 Starting+basis/pure
Feb 25 09:52:02 Finished+basis/pure++++++++++++++++++++++++++++++++++++++++367.12+892076
Feb 25 09:52:02 Starting+translator
Feb 25 09:58:19 Finished+translator++++++++++++++++++++++++++++++++++++++++376.47+1713128
Feb 25 09:58:19 Starting+compiler/parsing
Feb 25 10:01:14 Finished+compiler/parsing++++++++++++++++++++++++++++++++++174.34+2786496
Feb 25 10:01:14 Starting+characteristic
Feb 25 10:14:41 Finished+characteristic++++++++++++++++++++++++++++++++++++805.99+2211396
Feb 25 10:14:41 Starting+translator/monadic
Feb 25 10:18:44 Finished+translator/monadic++++++++++++++++++++++++++++++++243.12+1421508
Feb 25 10:18:45 Starting+basis
Feb 25 14:28:05 FAILED:+basis
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/quotient/src[0m
Scanning [1m$(HOLDIR)/src/transfer[0m
Scanning [1m$(HOLDIR)/src/pred_set/src/more_theories[0m
Scanning [1m$(HOLDIR)/src/finite_maps[0m
Scanning [1m$(HOLDIR)/examples/balanced_bst[0m
Scanning [1m$(HOLDIR)/examples/formal-languages[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/regular[0m
Scanning [1m$(HOLDIR)/src/coalgebras[0m
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(HOLDIR)/examples/machine-code/hoare-triple[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/basis/pure[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Scanning [1m$(CAKEMLDIR)/semantics[0m
Scanning [1m$(CAKEMLDIR)/semantics/proofs[0m
Scanning [1m$(CAKEMLDIR)/compiler/parsing[0m
Scanning [1m$(CAKEMLDIR)/translator[0m
Scanning [1m$(CAKEMLDIR)/characteristic[0m
Scanning [1m$(CAKEMLDIR)/translator/monadic/monad_base[0m
Scanning [1m$(CAKEMLDIR)/translator/monadic[0m
Scanned 28 directories
Starting work on RuntimeProgTheory
Starting work on clFFITheory
Starting work on MarshallingTheory
Starting work on README.md
README.md                                                                                                                                                                                             (0s)     OK
Starting work on runtimeFFITheory
MarshallingTheory                                                                                                                                                                                    (24s)     OK
Starting work on fsFFITheory
clFFITheory                                                                                                                                                                                          (25s)     OK
Starting work on basis_ffi.o
basis_ffi.o                                                                                                                                                                                           (0s)     OK
runtimeFFITheory                                                                                                                                                                                     (25s)     OK
RuntimeProgTheory                                                                                                                                                                                    (57s)     OK
Starting work on OptionProgTheory
Starting work on RuntimeProofTheory
fsFFITheory                                                                                                                                                                                          (42s)     OK
Starting work on fsFFIPropsTheory
OptionProgTheory                                                                                                                                                                                     (31s)     OK
Starting work on ListProgTheory
RuntimeProofTheory                                                                                                                                                                                   (56s)     OK
fsFFIPropsTheory                                                                                                                                                                                    (103s)     OK
ListProgTheory                                                                                                                                                                                      (229m)FAIL<1>
 Saved theorem _______ "zip_side_rules"
 Saved theorem _______ "zip_side_ind"
 Saved theorem _______ "zip_side_strongind"
 Saved theorem _______ "zip_side_cases"
 Saved theorem _______ "zip_side_def"
 Warning - Unable to increase stack - interrupting thread
 Failed translation: !
 error in quse /root/regression/cakeml-1797/basis/ListProgScript.sml : Interrupt
 error in load /root/regression/cakeml-1797/basis/ListProgScript : Interrupt
 Uncaught exception: Interrupt