Job 1036

CakeML:9632f9daf78d00dd6ae6bacafbdf0947a67e442f
  Fix too many open files error [Sep 12 07:17:19]
#690 (close-files)
Merging into: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:oven2 4.15.0-34-generic x86_64 GNU/Linux

Sep 12 12:16:11 Claimed job
Sep 12 12:16:14 Reusing HOL
Sep 12 12:16:19 Starting developers
Sep 12 12:16:21 Finished developers                                               1s  66MB
Sep 12 12:16:21 Starting developers/bin
Sep 12 12:16:25 Finished developers/bin                                           3s 165MB
Sep 12 12:16:25 Starting semantics/ffi
Sep 12 12:16:33 Finished semantics/ffi                                            7s 224MB
Sep 12 12:16:33 Starting semantics
Sep 12 12:17:50 Finished semantics                                             1m16s   1GB
Sep 12 12:17:50 Starting semantics/proofs
Sep 12 12:20:52 Finished semantics/proofs                                      3m01s   1GB
Sep 12 12:20:52 Starting semantics/alt_semantics
Sep 12 12:20:59 Finished semantics/alt_semantics                                  5s 269MB
Sep 12 12:20:59 Starting semantics/alt_semantics/proofs
Sep 12 12:22:47 Finished semantics/alt_semantics/proofs                        1m47s 777MB
Sep 12 12:22:47 Starting basis/pure
Sep 12 12:23:32 Finished basis/pure                                              44s 606MB
Sep 12 12:23:32 Starting translator
Sep 12 12:25:15 Finished translator                                            1m42s   1GB
Sep 12 12:25:16 Starting compiler/parsing
Sep 12 12:26:13 Finished compiler/parsing                                        56s   1GB
Sep 12 12:26:13 Starting characteristic
Sep 12 12:31:23 Finished characteristic                                        5m09s   1GB
Sep 12 12:31:23 Starting translator/monadic
Sep 12 12:32:48 Finished translator/monadic                                    1m24s   1GB
Sep 12 12:32:48 Starting basis
Sep 12 12:52:17 Finished basis                                                19m28s   2GB
Sep 12 12:52:18 Starting compiler/inference
Sep 12 12:53:54 Finished compiler/inference                                    1m35s   1GB
Sep 12 12:53:54 Starting compiler/backend/reg_alloc
Sep 12 12:54:52 Finished compiler/backend/reg_alloc                              58s   1GB
Sep 12 12:54:53 Starting compiler/backend/gc
Sep 12 13:02:49 Finished compiler/backend/gc                                   7m55s   1GB
Sep 12 13:02:49 Starting compiler/backend
Sep 12 13:02:50 Finished compiler/backend                                         0s  45MB
Sep 12 13:02:50 Starting compiler/encoders/asm
Sep 12 13:02:51 Finished compiler/encoders/asm                                    0s  35MB
Sep 12 13:02:51 Starting compiler/encoders/x64
Sep 12 13:03:14 Finished compiler/encoders/x64                                   22s 594MB
Sep 12 13:03:14 Starting compiler/encoders/arm7
Sep 12 13:03:58 Finished compiler/encoders/arm7                                  43s 684MB
Sep 12 13:03:58 Starting compiler/encoders/arm8
Sep 12 13:04:10 Finished compiler/encoders/arm8                                  11s 882MB
Sep 12 13:04:10 Starting compiler/encoders/mips
Sep 12 13:04:26 Finished compiler/encoders/mips                                  15s   1GB
Sep 12 13:04:26 Starting compiler/encoders/riscv
Sep 12 13:04:39 Finished compiler/encoders/riscv                                 12s 804MB
Sep 12 13:04:39 Starting compiler/encoders/ag32
Sep 12 13:04:54 Finished compiler/encoders/ag32                                  14s 815MB
Sep 12 13:04:54 Starting compiler/backend/x64
Sep 12 13:05:10 Finished compiler/backend/x64                                    15s   1GB
Sep 12 13:05:10 Starting compiler/backend/arm7
Sep 12 13:05:29 Finished compiler/backend/arm7                                   18s   1GB
Sep 12 13:05:29 Starting compiler/backend/arm8
Sep 12 13:05:45 Finished compiler/backend/arm8                                   15s   1GB
Sep 12 13:05:45 Starting compiler/backend/mips
Sep 12 13:06:02 Finished compiler/backend/mips                                   16s   1GB
Sep 12 13:06:02 Starting compiler/backend/riscv
Sep 12 13:06:19 Finished compiler/backend/riscv                                  16s   1GB
Sep 12 13:06:20 Starting compiler/backend/ag32
Sep 12 13:07:26 Finished compiler/backend/ag32                                 1m05s   1GB
Sep 12 13:07:26 Starting compiler/parsing/proofs
Sep 12 13:12:56 Finished compiler/parsing/proofs                               5m29s 820MB
Sep 12 13:12:56 Starting compiler/inference/proofs
Sep 12 13:15:35 Finished compiler/inference/proofs                             2m38s 976MB
Sep 12 13:15:36 Starting compiler/backend/semantics
Sep 12 13:21:28 Finished compiler/backend/semantics                            5m51s   2GB
Sep 12 13:21:28 Starting compiler/backend/reg_alloc/proofs
Sep 12 13:24:40 Finished compiler/backend/reg_alloc/proofs                     3m11s 771MB
Sep 12 13:24:40 Starting compiler/backend/proofs
Sep 12 14:04:15 Finished compiler/backend/proofs                              39m35s   3GB
Sep 12 14:04:16 Starting compiler/encoders/x64/proofs
Sep 12 14:13:13 Finished compiler/encoders/x64/proofs                          8m56s   5GB
Sep 12 14:13:13 Starting compiler/encoders/arm7/proofs
Sep 12 14:25:21 Finished compiler/encoders/arm7/proofs                        12m07s   3GB
Sep 12 14:25:21 Starting compiler/encoders/arm8/proofs
Sep 12 14:31:51 Finished compiler/encoders/arm8/proofs                         6m28s   1GB
Sep 12 14:31:51 Starting compiler/encoders/mips/proofs
Sep 12 14:41:04 Finished compiler/encoders/mips/proofs                         9m13s   2GB
Sep 12 14:41:05 Starting compiler/encoders/riscv/proofs
Sep 12 14:49:24 Finished compiler/encoders/riscv/proofs                        8m19s 972MB
Sep 12 14:49:25 Starting compiler/encoders/ag32/proofs
Sep 12 14:51:54 Finished compiler/encoders/ag32/proofs                         2m28s 648MB
Sep 12 14:51:54 Starting compiler/backend/x64/proofs
Sep 12 14:52:11 Finished compiler/backend/x64/proofs                             16s   1GB
Sep 12 14:52:11 Starting compiler/backend/arm7/proofs
Sep 12 14:52:28 Finished compiler/backend/arm7/proofs                            16s 838MB
Sep 12 14:52:28 Starting compiler/backend/arm8/proofs
Sep 12 14:52:44 Finished compiler/backend/arm8/proofs                            15s   1GB
Sep 12 14:52:45 Starting compiler/backend/mips/proofs
Sep 12 14:53:01 Finished compiler/backend/mips/proofs                            16s   1GB
Sep 12 14:53:02 Starting compiler/backend/riscv/proofs
Sep 12 14:53:19 Finished compiler/backend/riscv/proofs                           16s   1GB
Sep 12 14:53:19 Starting compiler/backend/ag32/proofs
Sep 12 15:02:09 Finished compiler/backend/ag32/proofs                          8m50s   2GB
Sep 12 15:02:10 Starting compiler/proofs
Sep 12 15:03:28 Finished compiler/proofs                                       1m18s   2GB
Sep 12 15:03:28 Starting candle/set-theory
Sep 12 15:03:54 Finished candle/set-theory                                       25s 861MB
Sep 12 15:03:54 Starting candle/syntax-lib
Sep 12 15:04:03 Finished candle/syntax-lib                                        8s 685MB
Sep 12 15:04:04 Starting candle/standard/syntax
Sep 12 15:05:44 Finished candle/standard/syntax                                1m40s 926MB
Sep 12 15:05:45 Starting candle/standard/semantics
Sep 12 15:07:17 Finished candle/standard/semantics                             1m31s   1GB
Sep 12 15:07:17 Starting candle/standard/monadic
Sep 12 15:08:48 Finished candle/standard/monadic                               1m30s   1GB
Sep 12 15:08:49 Starting candle/standard/ml_kernel
Sep 12 15:12:35 Finished candle/standard/ml_kernel                             3m46s   5GB
Sep 12 15:12:36 Starting candle/standard/opentheory
Sep 12 15:21:08 Finished candle/standard/opentheory                            8m32s   4GB
Sep 12 15:21:08 Starting candle/standard/opentheory/compilation
Sep 12 15:50:27 Finished candle/standard/opentheory/compilation               29m18s  15GB
Sep 12 15:50:27 Starting candle/standard/opentheory/compilation/proofs
Sep 12 15:51:09 Finished candle/standard/opentheory/compilation/proofs           41s   2GB
Sep 12 15:51:09 Starting characteristic/examples
Sep 12 15:52:36 Finished characteristic/examples                               1m26s   2GB
Sep 12 15:52:36 Starting tutorial/solutions
Sep 12 16:05:44 Finished tutorial/solutions                                   13m07s   7GB
Sep 12 16:05:44 Starting translator/monadic/examples
Sep 12 16:08:34 Finished translator/monadic/examples                           2m49s   2GB
Sep 12 16:08:34 Starting examples
Sep 12 16:17:31 Finished examples                                              8m56s   3GB
Sep 12 16:17:31 Starting examples/compilation/x64
Sep 12 18:18:59 Finished examples/compilation/x64                           2h01m28s  15GB
Sep 12 18:19:00 Starting examples/compilation/x64/proofs
Sep 12 18:20:24 Finished examples/compilation/x64/proofs                       1m24s   2GB
Sep 12 18:20:24 Starting examples/compilation/ag32
Sep 12 18:48:52 Finished examples/compilation/ag32                            28m27s   6GB
Sep 12 18:48:52 Starting examples/compilation/ag32/proofs
Sep 12 18:49:37 Finished examples/compilation/ag32/proofs                        44s   2GB
Sep 12 18:49:38 Starting translator/okasaki-examples
Sep 12 18:53:41 Finished translator/okasaki-examples                           4m03s   1GB
Sep 12 18:53:41 Starting translator/other-examples
Sep 12 18:57:01 Finished translator/other-examples                             3m19s   1GB
Sep 12 18:57:02 Starting compiler/parsing/tests
Sep 12 18:57:05 FAILED: compiler/parsing/tests
]0;Holmake: ..]0;Holmake: ~/regression/cakeml-1036/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-1036/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-1036/misc]0;Holmake: ~/regression/cakeml-1036/developers]0;Holmake: ~/regression/cakeml-1036/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression/cakeml-1036/misc]0;Holmake: ~/regression/cakeml-1036/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-1036/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-1036/misc]0;Holmake: ~/regression/cakeml-1036/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ..]0;Holmake: ~/regression/cakeml-1036/semantics]0;Holmake: ~/regression/cakeml-1036/semantics/ffi]0;Holmake: ~/regression/cakeml-1036/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression/cakeml-1036/semantics]0;Holmake: ~/regression/cakeml-1036/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 /home/myreen/regression/cakeml-1036/compiler/parsing/tests/cmlTestsScript.sml : Fail "Static Errors"
 error in load cmlTestsScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
lexerTestsTheory                                                                                     M-KILLED