Job 1037

CakeML:f83143b4820caceb7d8f2a0abc1e87674f46328e
  Merge pull request #689 from CakeML/regexp_repair [Sep 12 12:15:46]
HOL:c85f70b455b780c53c478eba1f68982e89cc3c61
  Remove a stray trailing whitespace in examples/.../regexpScript.sml [Sep 11 00:41:52]
Machine:brain09 4.19.67.1.amd64-smp

Sep 12 12:18:26 Claimed job
Sep 12 12:18:32 Building HOL
Sep 12 12:36:18 Starting developers
Sep 12 12:36:22 Finished developers                                               4s  95MB
Sep 12 12:36:23 Starting developers/bin
Sep 12 12:36:35 Finished developers/bin                                          12s 971MB
Sep 12 12:36:36 Starting semantics/ffi
Sep 12 12:37:53 Finished semantics/ffi                                         1m17s 619MB
Sep 12 12:37:53 Starting semantics
Sep 12 12:41:04 Finished semantics                                             3m10s   1GB
Sep 12 12:41:04 Starting semantics/proofs
Sep 12 12:47:22 Finished semantics/proofs                                      6m18s   1GB
Sep 12 12:47:22 Starting semantics/alt_semantics
Sep 12 12:47:38 Finished semantics/alt_semantics                                 15s 324MB
Sep 12 12:47:38 Starting semantics/alt_semantics/proofs
Sep 12 12:51:30 Finished semantics/alt_semantics/proofs                        3m51s 889MB
Sep 12 12:51:30 Starting basis/pure
Sep 12 12:59:35 Finished basis/pure                                            8m05s   1GB
Sep 12 12:59:36 Starting translator
Sep 12 13:03:12 Finished translator                                            3m35s   1GB
Sep 12 13:03:12 Starting compiler/parsing
Sep 12 13:05:05 Finished compiler/parsing                                      1m53s   2GB
Sep 12 13:05:05 Starting characteristic
Sep 12 13:16:38 Finished characteristic                                       11m32s   2GB
Sep 12 13:16:38 Starting translator/monadic
Sep 12 13:19:49 Finished translator/monadic                                    3m10s   1GB
Sep 12 13:19:50 Starting basis
Sep 12 14:05:28 Finished basis                                                45m38s   7GB
Sep 12 14:05:29 Starting compiler/inference
Sep 12 14:09:28 Finished compiler/inference                                    3m58s   1GB
Sep 12 14:09:28 Starting compiler/backend/reg_alloc
Sep 12 14:11:16 Finished compiler/backend/reg_alloc                            1m48s   1GB
Sep 12 14:11:16 Starting compiler/backend/gc
Sep 12 14:29:25 Finished compiler/backend/gc                                  18m08s   1GB
Sep 12 14:29:25 Starting compiler/backend
Sep 12 14:29:27 Finished compiler/backend                                         1s  50MB
Sep 12 14:29:27 Starting compiler/encoders/asm
Sep 12 14:29:28 Finished compiler/encoders/asm                                    0s  25MB
Sep 12 14:29:28 Starting compiler/encoders/x64
Sep 12 14:31:44 Finished compiler/encoders/x64                                 2m15s   1GB
Sep 12 14:31:44 Starting compiler/encoders/arm7
Sep 12 14:35:46 Finished compiler/encoders/arm7                                4m01s   1GB
Sep 12 14:35:47 Starting compiler/encoders/arm8
Sep 12 14:36:54 Finished compiler/encoders/arm8                                1m07s 660MB
Sep 12 14:36:54 Starting compiler/encoders/mips
Sep 12 14:39:26 Finished compiler/encoders/mips                                2m31s 990MB
Sep 12 14:39:26 Starting compiler/encoders/riscv
Sep 12 14:42:17 Finished compiler/encoders/riscv                               2m50s   1GB
Sep 12 14:42:17 Starting compiler/encoders/ag32
Sep 12 14:42:54 Finished compiler/encoders/ag32                                  36s 827MB
Sep 12 14:42:54 Starting compiler/backend/x64
Sep 12 14:43:31 Finished compiler/backend/x64                                    36s   1GB
Sep 12 14:43:31 Starting compiler/backend/arm7
Sep 12 14:44:13 Finished compiler/backend/arm7                                   41s   1GB
Sep 12 14:44:13 Starting compiler/backend/arm8
Sep 12 14:44:48 Finished compiler/backend/arm8                                   34s   1GB
Sep 12 14:44:48 Starting compiler/backend/mips
Sep 12 14:45:27 Finished compiler/backend/mips                                   38s   1GB
Sep 12 14:45:27 Starting compiler/backend/riscv
Sep 12 14:46:07 Finished compiler/backend/riscv                                  39s   1GB
Sep 12 14:46:07 Starting compiler/backend/ag32
Sep 12 14:48:29 Finished compiler/backend/ag32                                 2m21s   1GB
Sep 12 14:48:29 Starting compiler/parsing/proofs
Sep 12 14:59:44 Finished compiler/parsing/proofs                              11m14s   1GB
Sep 12 14:59:44 Starting compiler/inference/proofs
Sep 12 15:05:41 Finished compiler/inference/proofs                             5m56s   1GB
Sep 12 15:05:41 Starting compiler/backend/semantics
Sep 12 15:16:46 Finished compiler/backend/semantics                           11m04s   2GB
Sep 12 15:16:46 Starting compiler/backend/reg_alloc/proofs
Sep 12 15:23:49 Finished compiler/backend/reg_alloc/proofs                     7m02s   1GB
Sep 12 15:23:49 Starting compiler/backend/proofs
Sep 12 16:37:29 Finished compiler/backend/proofs                            1h13m40s  10GB
Sep 12 16:37:29 Starting compiler/encoders/x64/proofs
Sep 12 17:00:20 Finished compiler/encoders/x64/proofs                         22m50s   6GB
Sep 12 17:00:20 Starting compiler/encoders/arm7/proofs
Sep 12 17:30:27 Finished compiler/encoders/arm7/proofs                        30m06s   7GB
Sep 12 17:30:27 Starting compiler/encoders/arm8/proofs
Sep 12 17:45:56 Finished compiler/encoders/arm8/proofs                        15m28s   1GB
Sep 12 17:45:56 Starting compiler/encoders/mips/proofs
Sep 12 18:08:23 Finished compiler/encoders/mips/proofs                        22m26s   1GB
Sep 12 18:08:23 Starting compiler/encoders/riscv/proofs
Sep 12 18:27:33 Finished compiler/encoders/riscv/proofs                       19m09s   1GB
Sep 12 18:27:33 Starting compiler/encoders/ag32/proofs
Sep 12 18:32:57 Finished compiler/encoders/ag32/proofs                         5m24s 913MB
Sep 12 18:32:58 Starting compiler/backend/x64/proofs
Sep 12 18:33:38 Finished compiler/backend/x64/proofs                             39s   1GB
Sep 12 18:33:38 Starting compiler/backend/arm7/proofs
Sep 12 18:34:18 Finished compiler/backend/arm7/proofs                            40s 962MB
Sep 12 18:34:19 Starting compiler/backend/arm8/proofs
Sep 12 18:34:56 Finished compiler/backend/arm8/proofs                            36s   1GB
Sep 12 18:34:56 Starting compiler/backend/mips/proofs
Sep 12 18:35:36 Finished compiler/backend/mips/proofs                            39s   1GB
Sep 12 18:35:36 Starting compiler/backend/riscv/proofs
Sep 12 18:36:18 Finished compiler/backend/riscv/proofs                           42s   1GB
Sep 12 18:36:19 Starting compiler/backend/ag32/proofs
Sep 12 18:56:14 Finished compiler/backend/ag32/proofs                         19m55s   9GB
Sep 12 18:56:15 Starting compiler/proofs
Sep 12 18:59:09 Finished compiler/proofs                                       2m54s   3GB
Sep 12 18:59:10 Starting candle/set-theory
Sep 12 19:00:02 Finished candle/set-theory                                       51s   1GB
Sep 12 19:00:02 Starting candle/syntax-lib
Sep 12 19:00:23 Finished candle/syntax-lib                                       20s 613MB
Sep 12 19:00:23 Starting candle/standard/syntax
Sep 12 19:04:01 Finished candle/standard/syntax                                3m38s   1GB
Sep 12 19:04:01 Starting candle/standard/semantics
Sep 12 19:07:30 Finished candle/standard/semantics                             3m28s   2GB
Sep 12 19:07:30 Starting candle/standard/monadic
Sep 12 19:10:49 Finished candle/standard/monadic                               3m18s   1GB
Sep 12 19:10:49 Starting candle/standard/ml_kernel
Sep 12 19:19:02 Finished candle/standard/ml_kernel                             8m13s   3GB
Sep 12 19:19:03 Starting candle/standard/opentheory
Sep 12 19:38:41 Finished candle/standard/opentheory                           19m38s   8GB
Sep 12 19:38:41 Starting candle/standard/opentheory/compilation
Sep 13 06:17:45 Finished candle/standard/opentheory/compilation            10h39m03s 501GB
Sep 13 06:17:46 Starting candle/standard/opentheory/compilation/proofs
Sep 13 06:19:11 Finished candle/standard/opentheory/compilation/proofs         1m25s   2GB
Sep 13 06:19:12 Starting characteristic/examples
Sep 13 06:22:51 Finished characteristic/examples                               3m39s   6GB
Sep 13 06:22:51 Starting tutorial/solutions
Sep 13 08:15:57 Finished tutorial/solutions                                 1h53m05s 205GB
Sep 13 08:15:57 Starting translator/monadic/examples
Sep 13 08:20:59 Finished translator/monadic/examples                           5m01s   2GB
Sep 13 08:20:59 Starting examples
Sep 13 08:37:05 Finished examples                                             16m06s  12GB
Sep 13 08:37:06 Starting examples/compilation/x64
Sep 14 13:39:13 Finished examples/compilation/x64                          29h02m06s 629GB
Sep 14 13:39:13 Starting examples/compilation/x64/proofs
Sep 14 13:42:08 Finished examples/compilation/x64/proofs                       2m55s   2GB
Sep 14 13:42:09 Starting examples/compilation/ag32
Sep 14 16:14:57 Finished examples/compilation/ag32                          2h32m48s 134GB
Sep 14 16:14:57 Starting examples/compilation/ag32/proofs
Sep 14 16:17:39 Finished examples/compilation/ag32/proofs                      2m41s   5GB
Sep 14 16:17:39 Starting translator/okasaki-examples
Sep 14 16:25:59 Finished translator/okasaki-examples                           8m19s   1GB
Sep 14 16:25:59 Starting translator/other-examples
Sep 14 16:33:08 Finished translator/other-examples                             7m08s   1GB
Sep 14 16:33:08 Starting compiler/parsing/tests
Sep 14 16:33:16 FAILED: compiler/parsing/tests
]0;Holmake: ..]0;Holmake: ~/regression/cakeml-1037/misc]0;Holmake: ~/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/regression/cakeml-1037/misc]0;Holmake: ~/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-c85f70b455b780c53c478eba1f68982e89cc3c61/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/regression/cakeml-1037/misc]0;Holmake: ~/regression/cakeml-1037/developers]0;Holmake: ~/regression/cakeml-1037/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression/cakeml-1037/misc]0;Holmake: ~/regression/cakeml-1037/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-1037/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-1037/misc]0;Holmake: ~/regression/cakeml-1037/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ..]0;Holmake: ~/regression/cakeml-1037/semantics]0;Holmake: ~/regression/cakeml-1037/semantics/ffi]0;Holmake: ~/regression/cakeml-1037/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression/cakeml-1037/semantics]0;Holmake: ~/regression/cakeml-1037/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ..]0;Holmake: ..[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/compiler/parsing/tests[0m
Starting work on cmlTestsTheory
Starting work on lexerTestsTheory
Starting work on README.md
README.md                                                                                                                                                                                 OK
cmlTestsTheory                                                                                                                                                                   FAILED! <1>
          Parse.Term
          [QUOTE " (*#loc 26 17*)\206\187t1 t2. App Opapp [t1; t2]"])
          ) : ''a * term
    Reason: Can't unify ''a to term (Requires equality type)
 Found near
   (fn ... => ...) (Parse.Term [...]) Overload "" =
   (Parse.Term [QUOTE " (*#loc 26 17*)\206\187t1 t2. App Opapp [t1; t2]"])
 error in quse /root/regression/cakeml-1037/compiler/parsing/tests/cmlTestsScript.sml : Fail "Static Errors"
 error in load cmlTestsScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
lexerTestsTheory                                                                                                                                                                    M-KILLED