Overview

Job 10

CakeML:c382040c6f947d8309996fbbb2d23912b8a00cf4
  Fix riscv to_dataBootstrap - main prog renamed
HOL:adf95fed567e76641363a906871d9110e3d12f71
  Useful functions for dealing with terms up-to aconv
Machine:cse-gmeza 4.13.10-200.fc26.x86_64 x86_64 GNU/Linux

 Claimed job

2017-11-10T13:51:54Z Claimed job
2017-11-10T13:52:00Z Starting semantics/ffi
2017-11-10T13:52:29Z Finished semantics/ffi                                     0:09.65 0k
2017-11-10T13:52:30Z Starting semantics
2017-11-10T13:52:54Z FAILED: semantics
Recursively calling Holmake in /home/agomezl/PhD/cake/regression/HOL/examples/formal-languages/context-free
]0;Holmake: ~/PhD/cake/regression/HOL/examples/formal-languages/context-free]0;Holmake: ~/PhD/cake/regression/HOL/examples/formal-languages/context-freeFinished recursive invocation in /home/agomezl/PhD/cake/regression/HOL/examples/formal-languages/context-free
]0;Holmake: .Recursively calling Holmake in /home/agomezl/PhD/cake/regression/HOL/examples/fun-op-sem/lprefix_lub
]0;Holmake: ~/PhD/cake/regression/HOL/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/PhD/cake/regression/HOL/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /home/agomezl/PhD/cake/regression/HOL/examples/fun-op-sem/lprefix_lub
]0;Holmake: .Recursively calling Holmake in ../misc
]0;Holmake: ../miscRecursively calling Holmake in /home/agomezl/PhD/cake/regression/HOL/examples/machine-code/hoare-triple
]0;Holmake: ~/PhD/cake/regression/HOL/examples/machine-code/hoare-triple]0;Holmake: ~/PhD/cake/regression/HOL/examples/machine-code/hoare-tripleFinished recursive invocation in /home/agomezl/PhD/cake/regression/HOL/examples/machine-code/hoare-triple
]0;Holmake: ../miscRecursively calling Holmake in ../developers
]0;Holmake: ../developers]0;Holmake: ../developersStarting work on readme_gen
readme_gen                                                                   OK
Starting work on README.md
README.md                                                                    OK
Finished recursive invocation in ../developers
]0;Holmake: ../miscRecursively calling Holmake in ../misc/lem_lib_stub
]0;Holmake: ../misc/lem_lib_stub]0;Holmake: ../misc/lem_lib_stubFinished recursive invocation in ../misc/lem_lib_stub
]0;Holmake: ../misc]0;Holmake: ../miscStarting work on README.md
Starting work on miscTheory
README.md                                                                    OK
miscTheory                                                                   OK
Finished recursive invocation in ../misc
]0;Holmake: .Recursively calling Holmake in ffi
]0;Holmake: ffi]0;Holmake: ffiFinished recursive invocation in ffi
]0;Holmake: .]0;Holmake: .Starting work on addancs
Starting work on heap
addancs                                                             FAILED! <1>
heap                                                                   M-KILLED