CakeML Regression Test

Job 722

CakeML:cc0df28b29ba195e0082e237af53b11420953b05
  Actually fix bug: no mlton_ocaml [Feb 08 10:29:50]
#616 (benchmark-report)
Merging into:6bc8e267ebd128227cd90e1c9f9be4fd7f3bbb5a
  Merge remote-tracking branch 'origin/cleanup' [Feb 06 09:47:42]
HOL:08a51fee676681dadabae53e90963868e9720563
  Implement mllex-driven lexing for Theory.dat files [Feb 06 06:13:12]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Feb 08 22:00:02 Claimed job
Feb 08 22:00:13 Reusing HOL
Feb 08 22:01:03 Starting developers
Feb 08 22:01:06 Finished developers                                               2s  20MB
Feb 08 22:01:06 Starting developers/bin
Feb 08 22:02:20 Finished developers/bin                                        1m13s 918MB
Feb 08 22:02:21 Starting semantics/ffi
Feb 08 22:02:32 Finished semantics/ffi                                           10s 219MB
Feb 08 22:02:32 Starting semantics
Feb 08 22:03:54 Finished semantics                                             1m20s   1GB
Feb 08 22:03:54 Starting semantics/proofs
Feb 08 22:07:00 Finished semantics/proofs                                      3m05s   1GB
Feb 08 22:07:01 Starting basis/pure
Feb 08 22:07:48 Finished basis/pure                                              46s 680MB
Feb 08 22:07:49 Starting translator
Feb 08 22:09:27 Finished translator                                            1m37s   1GB
Feb 08 22:09:28 Starting compiler/parsing
Feb 08 22:10:26 Finished compiler/parsing                                        57s   1GB
Feb 08 22:10:27 Starting characteristic
Feb 08 22:14:46 Finished characteristic                                        4m18s   1GB
Feb 08 22:14:47 Starting translator/monadic
Feb 08 22:16:14 Finished translator/monadic                                    1m26s   1GB
Feb 08 22:16:14 Starting basis
Feb 08 22:32:37 Finished basis                                                16m22s   2GB
Feb 08 22:32:38 Starting compiler/inference
Feb 08 22:34:12 Finished compiler/inference                                    1m33s   1GB
Feb 08 22:34:13 Starting compiler/backend/reg_alloc
Feb 08 22:35:06 Finished compiler/backend/reg_alloc                              52s   1GB
Feb 08 22:35:07 Starting compiler/backend/gc
Feb 09 11:19:57 Resuming compiler/backend/gc
Feb 09 11:21:42 Finished compiler/backend/gc                                   1m44s   1GB
Feb 09 11:21:43 Starting compiler/backend
Feb 09 11:21:46 Finished compiler/backend                                         2s  20MB
Feb 09 11:21:46 Starting compiler/encoders/asm
Feb 09 11:21:48 Finished compiler/encoders/asm                                    1s  17MB
Feb 09 11:21:49 Starting compiler/encoders/x64
Feb 09 11:22:14 Finished compiler/encoders/x64                                   24s 733MB
Feb 09 11:22:14 Starting compiler/encoders/arm6
Feb 09 11:23:01 Finished compiler/encoders/arm6                                  45s 978MB
Feb 09 11:23:01 Starting compiler/encoders/arm8
Feb 09 11:23:15 Finished compiler/encoders/arm8                                  13s 572MB
Feb 09 11:23:16 Starting compiler/encoders/mips
Feb 09 11:23:34 Finished compiler/encoders/mips                                  17s   1GB
Feb 09 11:23:35 Starting compiler/encoders/riscv
Feb 09 11:23:50 Finished compiler/encoders/riscv                                 14s 761MB
Feb 09 11:23:50 Starting compiler/encoders/ag32
Feb 09 11:24:08 Finished compiler/encoders/ag32                                  16s 628MB
Feb 09 11:24:09 Starting compiler/backend/x64
Feb 09 11:24:26 Finished compiler/backend/x64                                    16s 766MB
Feb 09 11:24:27 Starting compiler/backend/arm6
Feb 09 11:24:47 Finished compiler/backend/arm6                                   19s   1GB
Feb 09 11:24:48 Starting compiler/backend/arm8
Feb 09 11:25:07 Finished compiler/backend/arm8                                   18s 845MB
Feb 09 11:25:07 Starting compiler/backend/mips
Feb 09 11:25:28 Finished compiler/backend/mips                                   19s   1GB
Feb 09 11:25:28 Starting compiler/backend/riscv
Feb 09 11:25:47 Finished compiler/backend/riscv                                  18s   1GB
Feb 09 11:25:48 Starting compiler/backend/ag32
Feb 09 11:26:54 Finished compiler/backend/ag32                                 1m05s   1GB
Feb 09 11:26:54 Starting compiler/parsing/proofs
Feb 09 11:32:31 Finished compiler/parsing/proofs                               5m35s 834MB
Feb 09 11:32:31 Starting compiler/inference/proofs
Feb 09 11:35:12 Finished compiler/inference/proofs                             2m40s   1GB
Feb 09 11:35:13 Starting compiler/backend/semantics
Feb 09 11:42:08 Finished compiler/backend/semantics                            6m54s   2GB
Feb 09 11:42:09 Starting compiler/backend/reg_alloc/proofs
Feb 09 11:44:42 Finished compiler/backend/reg_alloc/proofs                     2m32s 876MB
Feb 09 11:44:43 Starting compiler/backend/proofs
Feb 09 12:20:55 Finished compiler/backend/proofs                              36m09s   3GB
Feb 09 12:20:56 Starting compiler/encoders/x64/proofs
Feb 09 12:29:51 Finished compiler/encoders/x64/proofs                          8m54s   4GB
Feb 09 12:29:51 Starting compiler/encoders/arm6/proofs
Feb 09 12:41:46 Finished compiler/encoders/arm6/proofs                        11m53s   9GB
Feb 09 12:41:46 Starting compiler/encoders/arm8/proofs
Feb 09 12:47:12 Finished compiler/encoders/arm8/proofs                         5m24s   1GB
Feb 09 12:47:12 Starting compiler/encoders/mips/proofs
Feb 09 12:56:26 Finished compiler/encoders/mips/proofs                         9m13s   1GB
Feb 09 12:56:27 Starting compiler/encoders/riscv/proofs
Feb 09 13:03:55 Finished compiler/encoders/riscv/proofs                        7m27s   1GB
Feb 09 13:03:55 Starting compiler/encoders/ag32/proofs
Feb 09 13:06:23 Finished compiler/encoders/ag32/proofs                         2m27s 609MB
Feb 09 13:06:24 Starting compiler/backend/x64/proofs
Feb 09 13:06:45 Finished compiler/backend/x64/proofs                             19s   1GB
Feb 09 13:06:45 Starting compiler/backend/arm6/proofs
Feb 09 13:07:07 Finished compiler/backend/arm6/proofs                            21s 946MB
Feb 09 13:07:07 Starting compiler/backend/arm8/proofs
Feb 09 13:07:28 Finished compiler/backend/arm8/proofs                            19s   1GB
Feb 09 13:07:29 Starting compiler/backend/mips/proofs
Feb 09 13:07:49 Finished compiler/backend/mips/proofs                            20s   1GB
Feb 09 13:07:50 Starting compiler/backend/riscv/proofs
Feb 09 13:08:11 Finished compiler/backend/riscv/proofs                           20s   1GB
Feb 09 13:08:11 Starting compiler/backend/ag32/proofs
Feb 09 13:16:50 Finished compiler/backend/ag32/proofs                          8m38s   2GB
Feb 09 13:16:51 Starting compiler/proofs
Feb 09 13:18:15 Finished compiler/proofs                                       1m23s   3GB
Feb 09 13:18:16 Starting candle/set-theory
Feb 09 13:18:43 Finished candle/set-theory                                       26s 769MB
Feb 09 13:18:43 Starting candle/syntax-lib
Feb 09 13:18:55 Finished candle/syntax-lib                                       10s 490MB
Feb 09 13:18:55 Starting candle/standard/syntax
Feb 09 13:20:38 Finished candle/standard/syntax                                1m42s   1GB
Feb 09 13:20:39 Starting candle/standard/semantics
Feb 09 13:22:17 Finished candle/standard/semantics                             1m37s   1GB
Feb 09 13:22:17 Starting candle/standard/monadic
Feb 09 13:23:53 Finished candle/standard/monadic                               1m34s   1GB
Feb 09 13:23:53 Starting candle/standard/ml_kernel
Feb 09 13:27:39 Finished candle/standard/ml_kernel                             3m45s   3GB
Feb 09 13:27:40 Starting candle/standard/opentheory
Feb 09 13:36:08 Finished candle/standard/opentheory                            8m27s   3GB
Feb 09 13:36:09 Starting candle/standard/opentheory/compilation
Feb 09 14:05:59 Finished candle/standard/opentheory/compilation               29m49s  13GB
Feb 09 14:06:00 Starting candle/standard/opentheory/compilation/proofs
Feb 09 14:06:44 Finished candle/standard/opentheory/compilation/proofs           43s   4GB
Feb 09 14:06:45 Starting characteristic/examples
Feb 09 14:08:11 Finished characteristic/examples                               1m25s   3GB
Feb 09 14:08:12 Starting tutorial/solutions
Feb 09 14:21:27 Finished tutorial/solutions                                   13m14s   6GB
Feb 09 14:21:27 Starting translator/monadic/examples
Feb 09 14:23:41 Finished translator/monadic/examples                           2m12s   3GB
Feb 09 14:23:41 Starting examples
Feb 09 14:31:18 Finished examples                                              7m35s   3GB
Feb 09 14:31:18 Starting examples/compilation/x64
Feb 09 16:23:32 Finished examples/compilation/x64                           1h52m12s  14GB
Feb 09 16:23:33 Starting examples/compilation/x64/proofs
Feb 09 16:25:20 Finished examples/compilation/x64/proofs                       1m46s   4GB
Feb 09 16:25:20 Starting examples/compilation/ag32
Feb 09 16:53:31 Finished examples/compilation/ag32                            28m09s   5GB
Feb 09 16:53:31 Starting examples/compilation/ag32/proofs
Feb 09 16:54:19 Finished examples/compilation/ag32/proofs                        46s   3GB
Feb 09 16:54:19 Starting translator/okasaki-examples
Feb 09 16:58:23 Finished translator/okasaki-examples                           4m03s   1GB
Feb 09 16:58:24 Starting translator/other-examples
Feb 09 16:59:07 Finished translator/other-examples                               42s   1GB
Feb 09 16:59:07 Starting compiler/parsing/tests
Feb 09 16:59:34 Finished compiler/parsing/tests                                  25s 530MB
Feb 09 16:59:34 Starting compiler/inference/tests
Feb 09 17:03:36 Finished compiler/inference/tests                              4m01s   3GB
Feb 09 17:03:36 Starting compiler/bootstrap/translation
Feb 09 19:29:37 Finished compiler/bootstrap/translation                     2h25m59s  51GB
Feb 09 19:29:37 Starting unverified/sexpr-bootstrap/x64/64
Feb 09 19:38:20 Finished unverified/sexpr-bootstrap/x64/64                     8m42s  16GB
Feb 09 19:38:21 Starting unverified/sexpr-bootstrap/x64/32
Feb 09 19:43:24 Finished unverified/sexpr-bootstrap/x64/32                     5m02s  17GB
Feb 09 19:43:24 Starting compiler/benchmarks
Feb 09 19:43:32 FAILED: compiler/benchmarks
]0;Holmake: ~/oven/regression/cakeml-722/characteristic]0;Holmake: ~/oven/regression/cakeml-722/basis/pure]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/balanced_bst]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/balanced_bst[1mWorking in $(HOLDIR)/examples/balanced_bst[0m
]0;Holmake: ~/oven/regression/cakeml-722/basis/pure]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/context-free]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ~/oven/regression/cakeml-722/basis/pure]0;Holmake: ~/oven/regression/cakeml-722/misc]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/oven/regression/cakeml-722/misc]0;Holmake: ~/oven/regression/cakeml-722/developers]0;Holmake: ~/oven/regression/cakeml-722/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/oven/regression/cakeml-722/misc]0;Holmake: ~/oven/regression/cakeml-722/misc/lem_lib_stub]0;Holmake: ~/oven/regression/cakeml-722/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/oven/regression/cakeml-722/misc]0;Holmake: ~/oven/regression/cakeml-722/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ~/oven/regression/cakeml-722/basis/pure]0;Holmake: ~/oven/regression/cakeml-722/basis/pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: ~/oven/regression/cakeml-722/characteristic]0;Holmake: ~/oven/regression/cakeml-722/compiler/parsing]0;Holmake: ~/oven/regression/cakeml-722/semantics]0;Holmake: ~/oven/regression/cakeml-722/semantics/ffi]0;Holmake: ~/oven/regression/cakeml-722/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/oven/regression/cakeml-722/semantics]0;Holmake: ~/oven/regression/cakeml-722/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/parsing]0;Holmake: ~/oven/regression/cakeml-722/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/oven/regression/cakeml-722/characteristic]0;Holmake: ~/oven/regression/cakeml-722/semantics/proofs]0;Holmake: ~/oven/regression/cakeml-722/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/oven/regression/cakeml-722/characteristic]0;Holmake: ~/oven/regression/cakeml-722/translator]0;Holmake: ~/oven/regression/cakeml-722/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/oven/regression/cakeml-722/characteristic]0;Holmake: ~/oven/regression/cakeml-722/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: ~/oven/regression/cakeml-722/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/common]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/common[1mWorking in $(HOLDIR)/examples/l3-machine-code/common[0m
]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/lib]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/lib[1mWorking in $(HOLDIR)/examples/l3-machine-code/lib[0m
]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/model[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/model]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/model[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/model]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/model[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/model]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/model[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/model]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/model[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/cakeml-722/basis]0;Holmake: ~/oven/regression/cakeml-722/translator/monadic]0;Holmake: ~/oven/regression/cakeml-722/translator/monadic/monad_base]0;Holmake: ~/oven/regression/cakeml-722/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/oven/regression/cakeml-722/translator/monadic]0;Holmake: ~/oven/regression/cakeml-722/translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: ~/oven/regression/cakeml-722/basis]0;Holmake: ~/oven/regression/cakeml-722/basis[1mWorking in $(CAKEMLDIR)/basis[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/multiword]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/multiword[1mWorking in $(HOLDIR)/examples/machine-code/multiword[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/reg_alloc]0;Holmake: ~/oven/regression/cakeml-722/unverified/reg_alloc]0;Holmake: ~/oven/regression/cakeml-722/unverified/reg_alloc[1mWorking in $(CAKEMLDIR)/unverified/reg_alloc[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/reg_alloc]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/reg_alloc[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/asm]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/asm[1mWorking in $(CAKEMLDIR)/compiler/encoders/asm[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend[1mWorking in $(CAKEMLDIR)/compiler/backend[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/ag32]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/ag32]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/ag32[1mWorking in $(CAKEMLDIR)/compiler/encoders/ag32[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/ag32]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/ag32[1mWorking in $(CAKEMLDIR)/compiler/backend/ag32[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/arm6]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/arm6]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/step]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/decompiler]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/machine-code/decompiler[1mWorking in $(HOLDIR)/examples/machine-code/decompiler[0m
]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code[1mWorking in $(HOLDIR)/examples/l3-machine-code[0m
]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/step]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/step[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/arm6]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/arm6[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm6[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/arm6]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/arm6[1mWorking in $(CAKEMLDIR)/compiler/backend/arm6[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/arm8]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/arm8]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/step]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/arm8/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/step[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/arm8]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/arm8[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm8[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/arm8]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/arm8[1mWorking in $(CAKEMLDIR)/compiler/backend/arm8[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/mips]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/mips]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/step]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/mips/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/step[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/mips]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/mips[1mWorking in $(CAKEMLDIR)/compiler/encoders/mips[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/mips]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/mips[1mWorking in $(CAKEMLDIR)/compiler/backend/mips[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/riscv]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/riscv]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/step]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/riscv/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/step[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/riscv]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/riscv[1mWorking in $(CAKEMLDIR)/compiler/encoders/riscv[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/riscv]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/riscv[1mWorking in $(CAKEMLDIR)/compiler/backend/riscv[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/x64]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/x64]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/step]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/l3-machine-code/x64/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/step[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/x64]0;Holmake: ~/oven/regression/cakeml-722/compiler/encoders/x64[1mWorking in $(CAKEMLDIR)/compiler/encoders/x64[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/x64]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/x64[1mWorking in $(CAKEMLDIR)/compiler/backend/x64[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler/inference]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular/first-order]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular[1mWorking in $(HOLDIR)/examples/unification/triangular[0m
]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular/first-order]0;Holmake: ~/oven/regression/HOL-08a51fee676681dadabae53e90963868e9720563/examples/unification/triangular/first-order[1mWorking in $(HOLDIR)/examples/unification/triangular/first-order[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/inference]0;Holmake: ~/oven/regression/cakeml-722/compiler/inference[1mWorking in $(CAKEMLDIR)/compiler/inference[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler]0;Holmake: ~/oven/regression/cakeml-722/compiler[1mWorking in $(CAKEMLDIR)/compiler[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/reg_alloc/proofs]0;Holmake: ~/oven/regression/cakeml-722/compiler/backend/reg_alloc/proofs[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/cakeml-722/compiler/inference/proofs]0;Holmake: ~/oven/regression/cakeml-722/compiler/inference/proofs[1mWorking in $(CAKEMLDIR)/compiler/inference/proofs[0m
]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation]0;Holmake: ~/oven/regression/cakeml-722/compiler/bootstrap/translation[1mWorking in $(CAKEMLDIR)/compiler/bootstrap/translation[0m
]0;Holmake: ~/oven/regression/cakeml-722/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/oven/regression/cakeml-722/developers/bin]0;Holmake: ~/oven/regression/cakeml-722/developers/bin[1mWorking in $(CAKEMLDIR)/developers/bin[0m
]0;Holmake: ~/oven/regression/cakeml-722/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/oven/regression/cakeml-722/unverified/sexpr-bootstrap]0;Holmake: ~/oven/regression/cakeml-722/unverified/sexpr-bootstrap[1mWorking in $(CAKEMLDIR)/unverified/sexpr-bootstrap[0m
]0;Holmake: ~/oven/regression/cakeml-722/unverified/sexpr-bootstrap/x64/64]0;Holmake: ~/oven/regression/cakeml-722/unverified/sexpr-bootstrap/x64/64[1mWorking in $(CAKEMLDIR)/unverified/sexpr-bootstrap/x64/64[0m
]0;Holmake: cakeml_benchmarks/cakeml]0;Holmake: cakeml_benchmarks/cakeml[1mWorking in $(CAKEMLDIR)/compiler/benchmarks/cakeml_benchmarks/cakeml[0m
Starting work on README.md
README.md                                                                    OK
]0;Holmake: .]0;Holmake: mlton_benchmarks/cakeml]0;Holmake: mlton_benchmarks/cakeml[1mWorking in $(CAKEMLDIR)/compiler/benchmarks/mlton_benchmarks/cakeml[0m
Starting work on README.md
README.md                                                                    OK
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/compiler/benchmarks[0m
Starting work on README.md
Starting work on cml_cakeml
Starting work on cml_ocaml
Starting work on cml_sml
cml_ocaml                                                           FAILED! <2>
 rm: cannot remove 'ocamlopt_foldl': No such file or directory
 rm: cannot remove 'ocamlopt_nqueens': No such file or directory
 rm: cannot remove 'ocamlopt_nbody': No such file or directory
 rm: cannot remove 'ocamlopt_fib': No such file or directory
 rm: cannot remove '*.cmo': No such file or directory
 rm: cannot remove '*.cmx': No such file or directory
 rm: cannot remove '*.cmi': No such file or directory
 rm: cannot remove '*.o': No such file or directory
 make: *** [Makefile:18: clean] Error 1
 rm ocamlc_bst_contain ocamlc_array_contain ocamlc_qsort ocamlc_sptree_contain ocamlc_pendulum ocamlc_qsortimp ocamlc_btree ocamlc_qsortimpcurry ocamlc_reverse ocamlc_dummy_contain ocamlc_queue ocamlc_foldl ocamlc_nqueens ocamlc_nbody ocamlc_fib ocamlopt_bst_contain ocamlopt_array_contain ocamlopt_qsort ocamlopt_sptree_contain ocamlopt_pendulum ocamlopt_qsortimp ocamlopt_btree ocamlopt_qsortimpcurry ocamlopt_reverse ocamlopt_dummy_contain ocamlopt_queue ocamlopt_foldl ocamlopt_nqueens ocamlopt_nbody ocamlopt_fib *.cmo *.cmx *.cmi *.o
README.md                                                              M-KILLED
cml_cakeml                                                             M-KILLED
cml_sml                                                                M-KILLED