Job 729

CakeML:9feef1ec9f25ce1fd0474f285b4d07464ed21dbf
  Stop assuming term eqtype in ml_monad_translatorBase [Feb 16 11:48:28]
HOL:45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1
  Testing for src/Boolify [Feb 15 06:20:39]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Feb 18 08:54:03 Claimed job
Feb 18 08:54:16 Building HOL
Feb 18 09:01:51 Starting developers
Feb 18 09:01:52 Finished developers                                               0s  30MB
Feb 18 09:01:53 Starting developers/bin
Feb 18 09:02:27 Finished developers/bin                                          33s 142MB
Feb 18 09:02:28 Starting semantics/ffi
Feb 18 09:03:03 Finished semantics/ffi                                           33s 436MB
Feb 18 09:03:03 Starting semantics
Feb 18 09:04:32 Finished semantics                                             1m27s   1GB
Feb 18 09:04:32 Starting semantics/proofs
Feb 18 09:07:26 Finished semantics/proofs                                      2m52s 971MB
Feb 18 09:07:27 Starting basis/pure
Feb 18 09:10:59 Finished basis/pure                                            3m32s 783MB
Feb 18 09:11:00 Starting translator
Feb 18 09:12:35 Finished translator                                            1m33s   1GB
Feb 18 09:12:36 Starting compiler/parsing
Feb 18 09:13:34 Finished compiler/parsing                                        56s   1GB
Feb 18 09:13:34 Starting characteristic
Feb 18 09:17:42 Finished characteristic                                        4m06s   1GB
Feb 18 09:17:43 Starting translator/monadic
Feb 18 09:19:08 Finished translator/monadic                                    1m24s   1GB
Feb 18 09:19:08 Starting basis
Feb 18 09:19:26 FAILED: basis
]0;Holmake: pure]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages/context-free]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: pure]0;Holmake: ~/regression/cakeml-729/misc]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/regression/cakeml-729/misc]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-45d15cd2a50ae6443bffb0631c58de3f6c0fe4b1/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/regression/cakeml-729/misc]0;Holmake: ~/regression/cakeml-729/developers]0;Holmake: ~/regression/cakeml-729/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression/cakeml-729/misc]0;Holmake: ~/regression/cakeml-729/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-729/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-729/misc]0;Holmake: ~/regression/cakeml-729/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: pure]0;Holmake: pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-729/characteristic]0;Holmake: ~/regression/cakeml-729/compiler/parsing]0;Holmake: ~/regression/cakeml-729/semantics]0;Holmake: ~/regression/cakeml-729/semantics/ffi]0;Holmake: ~/regression/cakeml-729/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression/cakeml-729/semantics]0;Holmake: ~/regression/cakeml-729/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/regression/cakeml-729/compiler/parsing]0;Holmake: ~/regression/cakeml-729/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/regression/cakeml-729/characteristic]0;Holmake: ~/regression/cakeml-729/semantics/proofs]0;Holmake: ~/regression/cakeml-729/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/regression/cakeml-729/characteristic]0;Holmake: ~/regression/cakeml-729/translator]0;Holmake: ~/regression/cakeml-729/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/regression/cakeml-729/characteristic]0;Holmake: ~/regression/cakeml-729/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-729/translator/monadic]0;Holmake: ~/regression/cakeml-729/translator/monadic/monad_base]0;Holmake: ~/regression/cakeml-729/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/regression/cakeml-729/translator/monadic]0;Holmake: ~/regression/cakeml-729/translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/basis[0m
Starting work on RuntimeProgTheory
Starting work on clFFITheory
Starting work on MarshallingTheory
Starting work on runtimeFFITheory
MarshallingTheory                                   OK
Starting work on fsFFITheory
runtimeFFITheory                                    OK
Starting work on README.md
README.md                                           OK
Starting work on basis_ffi.o
basis_ffi.o                                         OK
clFFITheory                                         OK
RuntimeProgTheory                          FAILED! <1>
    fun ... 
    fun ... 
    ... 
    ...
    end
 error in quse /home/myreen/regression/cakeml-729/characteristic/cfLetAutoLib.sml : Fail "Static Errors"
 error in load $(CAKEMLDIR)/characteristic/cfLetAutoLib : Fail "Static Errors"
 error in load $(CAKEMLDIR)/characteristic/cfLib : Fail "Static Errors"
 error in load RuntimeProgScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
fsFFITheory                                   M-KILLED