Job 1926

CakeML:5591164cf6fe6c771ccd622e191f6ff9e4a628f5
  use repeated rewriting in Closure_tac [Jun 11 17:29:23]
#890 (pseudo_bool)
Merging into:f7195c3d29d6bd5f389a7ff307f998a45d56552f
  Merge pull request #888 from CakeML/deflate [Jun 09 07:20:45]
HOL:55691be292491aef452ee5e7c56e67b02601f669
  Holmake: fix mlton build [Jun 10 00:41:25]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 13 23:45:02 Claimed job
Jun 13 23:45:06 Building HOL
Jun 13 23:55:45 Starting developers
Jun 13 23:55:50 Finished developers                                               5s 111MB
Jun 13 23:55:50 Starting developers/bin
Jun 13 23:57:24 Finished developers/bin                                        1m33s   1GB
Jun 13 23:57:24 Starting semantics/ffi
Jun 13 23:57:36 Finished semantics/ffi                                           10s 205MB
Jun 13 23:57:36 Starting semantics
Jun 14 00:00:28 Finished semantics                                             2m52s   1GB
Jun 14 00:00:29 Starting semantics/proofs
Jun 14 00:08:13 Finished semantics/proofs                                      7m44s   1GB
Jun 14 00:08:14 Starting semantics/alt_semantics
Jun 14 00:08:43 Finished semantics/alt_semantics                                 29s 537MB
Jun 14 00:08:44 Starting semantics/alt_semantics/proofs
Jun 14 00:21:04 Finished semantics/alt_semantics/proofs                       12m19s   2GB
Jun 14 00:21:04 Starting basis/pure
Jun 14 00:24:55 Finished basis/pure                                            3m50s 872MB
Jun 14 00:24:55 Starting translator
Jun 14 00:28:51 Finished translator                                            3m55s   2GB
Jun 14 00:28:51 Starting compiler/parsing
Jun 14 00:30:28 Finished compiler/parsing                                      1m36s   4GB
Jun 14 00:30:28 Starting characteristic
Jun 14 00:37:47 Finished characteristic                                        7m18s   1GB
Jun 14 00:37:47 Starting translator/monadic
Jun 14 00:39:52 Finished translator/monadic                                    2m04s   1GB
Jun 14 00:39:52 Starting basis
Jun 14 01:33:56 Finished basis                                                54m01s  14GB
Jun 14 01:33:56 Starting compiler/inference
Jun 14 01:35:39 Finished compiler/inference                                    1m43s   1GB
Jun 14 01:35:39 Starting compiler/backend/reg_alloc
Jun 14 01:37:29 Finished compiler/backend/reg_alloc                            1m49s   1GB
Jun 14 01:37:29 Starting compiler/backend/gc
Jun 14 01:42:17 Finished compiler/backend/gc                                   4m47s   3GB
Jun 14 01:42:17 Starting compiler/backend
Jun 14 01:48:50 Finished compiler/backend                                      6m32s   2GB
Jun 14 01:48:50 Starting compiler/encoders/asm
Jun 14 01:49:22 Finished compiler/encoders/asm                                   31s 714MB
Jun 14 01:49:22 Starting compiler/encoders/x64
Jun 14 01:50:35 Finished compiler/encoders/x64                                 1m12s   1GB
Jun 14 01:50:36 Starting compiler/encoders/arm7
Jun 14 01:52:55 Finished compiler/encoders/arm7                                2m19s   1GB
Jun 14 01:52:55 Starting compiler/encoders/arm8
Jun 14 01:53:41 Finished compiler/encoders/arm8                                  45s 785MB
Jun 14 01:53:42 Starting compiler/encoders/arm8_asl
Jun 14 04:24:22 Finished compiler/encoders/arm8_asl                         2h30m39s  45GB
Jun 14 04:24:22 Starting compiler/encoders/mips
Jun 14 04:26:05 Finished compiler/encoders/mips                                1m42s   1GB
Jun 14 04:26:05 Starting compiler/encoders/riscv
Jun 14 04:28:04 Finished compiler/encoders/riscv                               1m58s   1GB
Jun 14 04:28:04 Starting compiler/encoders/ag32
Jun 14 04:28:27 Finished compiler/encoders/ag32                                  23s 734MB
Jun 14 04:28:28 Starting compiler/backend/x64
Jun 14 04:28:51 Finished compiler/backend/x64                                    23s   1GB
Jun 14 04:28:51 Starting compiler/backend/arm7
Jun 14 04:29:18 Finished compiler/backend/arm7                                   26s   1GB
Jun 14 04:29:18 Starting compiler/backend/arm8
Jun 14 04:29:42 Finished compiler/backend/arm8                                   24s   1GB
Jun 14 04:29:42 Starting compiler/backend/mips
Jun 14 04:30:06 Finished compiler/backend/mips                                   22s   1GB
Jun 14 04:30:06 Starting compiler/backend/riscv
Jun 14 04:30:30 Finished compiler/backend/riscv                                  23s   1GB
Jun 14 04:30:30 Starting compiler/backend/ag32
Jun 14 04:32:02 Finished compiler/backend/ag32                                 1m31s   1GB
Jun 14 04:32:02 Starting compiler/parsing/proofs
Jun 14 04:36:07 Finished compiler/parsing/proofs                               4m04s 996MB
Jun 14 04:36:07 Starting compiler/inference/proofs
Jun 14 04:39:06 Finished compiler/inference/proofs                             2m58s   1GB
Jun 14 04:39:06 Starting compiler/backend/semantics
Jun 14 05:16:26 Finished compiler/backend/semantics                           37m19s   2GB
Jun 14 05:16:26 Starting compiler/backend/reg_alloc/proofs
Jun 14 05:20:25 Finished compiler/backend/reg_alloc/proofs                     3m58s 812MB
Jun 14 05:20:25 Starting compiler/backend/proofs
Jun 14 06:20:57 Finished compiler/backend/proofs                            1h00m31s  20GB
Jun 14 06:20:57 Starting compiler/backend/serialiser
Jun 14 06:22:43 Finished compiler/backend/serialiser                           1m45s   2GB
Jun 14 06:22:43 Starting compiler/encoders/x64/proofs
Jun 14 06:33:00 Finished compiler/encoders/x64/proofs                         10m17s   5GB
Jun 14 06:33:00 Starting compiler/encoders/arm7/proofs
Jun 14 06:47:01 Finished compiler/encoders/arm7/proofs                        13m59s   3GB
Jun 14 06:47:01 Starting compiler/encoders/arm8/proofs
Jun 14 06:54:13 Finished compiler/encoders/arm8/proofs                         7m11s   1GB
Jun 14 06:54:13 Starting compiler/encoders/arm8_asl/proofs
Jun 14 07:48:17 Finished compiler/encoders/arm8_asl/proofs                    54m03s  11GB
Jun 14 07:48:17 Starting compiler/encoders/mips/proofs
Jun 14 07:59:00 Finished compiler/encoders/mips/proofs                        10m42s   2GB
Jun 14 07:59:00 Starting compiler/encoders/riscv/proofs
Jun 14 08:08:26 Finished compiler/encoders/riscv/proofs                        9m24s   1GB
Jun 14 08:08:26 Starting compiler/encoders/ag32/proofs
Jun 14 08:11:14 Finished compiler/encoders/ag32/proofs                         2m47s 889MB
Jun 14 08:11:14 Starting compiler/backend/x64/proofs
Jun 14 08:11:45 Finished compiler/backend/x64/proofs                             30s   1GB
Jun 14 08:11:45 Starting compiler/backend/arm7/proofs
Jun 14 08:12:17 Finished compiler/backend/arm7/proofs                            31s   1GB
Jun 14 08:12:17 Starting compiler/backend/arm8/proofs
Jun 14 08:12:48 Finished compiler/backend/arm8/proofs                            30s   1GB
Jun 14 08:12:48 Starting compiler/backend/arm8_asl
Jun 14 08:13:13 Finished compiler/backend/arm8_asl                               24s   1GB
Jun 14 08:13:13 Starting compiler/backend/mips/proofs
Jun 14 08:13:42 Finished compiler/backend/mips/proofs                            29s   1GB
Jun 14 08:13:42 Starting compiler/backend/riscv/proofs
Jun 14 08:14:13 Finished compiler/backend/riscv/proofs                           30s   1GB
Jun 14 08:14:13 Starting compiler/backend/ag32/proofs
Jun 14 08:29:04 Finished compiler/backend/ag32/proofs                         14m50s   3GB
Jun 14 08:29:04 Starting compiler/proofs
Jun 14 08:31:38 Finished compiler/proofs                                       2m34s   3GB
Jun 14 08:31:39 Starting candle/set-theory
Jun 14 08:32:15 Finished candle/set-theory                                       36s   1GB
Jun 14 08:32:15 Starting candle/syntax-lib
Jun 14 08:32:30 Finished candle/syntax-lib                                       14s 649MB
Jun 14 08:32:30 Starting candle/standard/syntax
Jun 14 08:34:39 Finished candle/standard/syntax                                2m08s 989MB
Jun 14 08:34:39 Starting candle/standard/semantics
Jun 14 08:36:36 Finished candle/standard/semantics                             1m57s 883MB
Jun 14 08:36:37 Starting candle/standard/monadic
Jun 14 08:38:40 Finished candle/standard/monadic                               2m03s   1GB
Jun 14 08:38:40 Starting candle/standard/ml_kernel
Jun 14 08:45:46 Finished candle/standard/ml_kernel                             7m05s   3GB
Jun 14 08:45:46 Starting candle/overloading/syntax
Jun 14 08:49:10 Finished candle/overloading/syntax                             3m23s   1GB
Jun 14 08:49:10 Starting candle/overloading/semantics
Jun 14 09:01:54 Finished candle/overloading/semantics                         12m44s   2GB
Jun 14 09:01:55 Starting candle/overloading/monadic
Jun 14 09:04:43 Finished candle/overloading/monadic                            2m47s   1GB
Jun 14 09:04:43 Starting candle/overloading/ml_kernel
Jun 14 09:12:40 Finished candle/overloading/ml_kernel                          7m56s   3GB
Jun 14 09:12:41 Starting candle/overloading/ml_checker
Jun 14 09:15:07 Finished candle/overloading/ml_checker                         2m25s   3GB
Jun 14 09:15:07 Starting candle/prover
Jun 14 09:26:31 Finished candle/prover                                        11m24s   3GB
Jun 14 09:26:32 Starting pancake
Jun 14 09:30:36 Finished pancake                                               4m04s   3GB
Jun 14 09:30:36 Starting pancake/ffi
Jun 14 09:30:37 Finished pancake/ffi                                              0s  17MB
Jun 14 09:30:37 Starting pancake/semantics
Jun 14 09:33:22 Finished pancake/semantics                                     2m44s   1GB
Jun 14 09:33:22 Starting pancake/proofs
Jun 14 09:46:29 Finished pancake/proofs                                       13m06s   4GB
Jun 14 09:46:29 Starting characteristic/examples
Jun 14 09:48:04 Finished characteristic/examples                               1m33s   2GB
Jun 14 09:48:04 Starting tutorial/solutions
Jun 14 10:05:17 Finished tutorial/solutions                                   17m13s   9GB
Jun 14 10:05:17 Starting translator/monadic/examples
Jun 14 10:09:29 Finished translator/monadic/examples                           4m11s   2GB
Jun 14 10:09:29 Starting examples
Jun 14 10:15:39 FAILED: examples
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/quotient/src
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/translator
Scanning $(CAKEMLDIR)/characteristic
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/translator/monadic
Scanning $(CAKEMLDIR)/basis
Scanned 29 directories
Starting work on regexp_parserTheory
Starting work on README.md
Starting work on quicksortProgTheory
Starting work on catProgTheory
README.md                                                 examples  (0s)     OK
Starting work on lcsTheory
regexp_parserTheory              examples/formal-languages/regular (12s)     OK
Finished $(HOLDIR)/examples/formal-languages/regular [#theories: 1]   (12.944s) 
Starting work on divTheory
lcsTheory                                                 examples (19s)     OK
Starting work on diffTheory
diffTheory                                                examples (52s)     OK
Starting work on diffProgTheory
catProgTheory                                             examples(100s)     OK
Starting work on doubleProgTheory
quicksortProgTheory                                       examples(112s)     OK
Starting work on array_searchProgTheory
divTheory                                                 examples(136s)     OK
Starting work on echoProgTheory
diffProgTheory                                            examples(111s)     OK
Starting work on filterProgTheory
doubleProgTheory                                          examples (94s)     OK
Starting work on grepProgTheory
array_searchProgTheory                                    examples(114s)     OK
Starting work on helloErrProgTheory
echoProgTheory                                            examples (83s)     OK
Starting work on helloProgTheory
helloErrProgTheory                                        examples (78s)     OK
Starting work on insertSortProgTheory
helloProgTheory                                           examples (76s)     OK
Starting work on iocatProgTheory
filterProgTheory                                          examples(128s)     OK
Starting work on lispProgTheory
lispProgTheory                                            examples (41s)FAIL<1>
 error in quse /home/cake/oven/regression/cakeml-1926/examples/lispProgScript.sml : Fail "Static Errors"
 error in load /home/cake/oven/regression/cakeml-1926/examples/lispProgScript : Fail "Static Errors"
 /home/cake/oven/regression/cakeml-1926/examples/lispProgScript.sml:5: error: Structure (parsingTheory) has not been declared
 Found near open parsingTheory source_valuesTheory printingTheory
 /home/cake/oven/regression/cakeml-1926/examples/lispProgScript.sml:5: error: Structure (source_valuesTheory) has not been declared
 Found near open parsingTheory source_valuesTheory printingTheory
 /home/cake/oven/regression/cakeml-1926/examples/lispProgScript.sml:5: error: Structure (printingTheory) has not been declared
 Found near open parsingTheory source_valuesTheory printingTheory
 Uncaught exception: Fail "Static Errors"
grepProgTheory                                            examples(162s)MKILLED
insertSortProgTheory                                      examples (49s)MKILLED
iocatProgTheory                                           examples (45s)MKILLED