CakeML Regression Test

Job 524

CakeML:a8b9659ecd65278efdf70d9d258350039548a605
  Use modules in bootstrap translation. [Oct 09 14:47:19]
#537 (translator-mods)
Merging into:cc95061c249ee1e7010fa61ef0171faa133fc739
  Merge pull request #533 from CakeML/remove-cheats [Oct 09 12:51:31]
HOL:ab9ca666185d56750fb65d2a0da0ded2bb18d96d
  Give build an --mt flag as well; it's passed on to Holmake [Oct 08 02:53:01]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Oct 09 14:55:35 Claimed job
Oct 09 14:55:45 Reusing HOL
Oct 09 14:56:03 Starting developers/bin
Oct 09 14:56:38 Finished developers/bin                                          34s 136MB
Oct 09 14:56:39 Starting semantics/ffi
Oct 09 14:56:49 Finished semantics/ffi                                            9s 251MB
Oct 09 14:56:50 Starting semantics
Oct 09 14:57:59 Finished semantics                                             1m08s   1GB
Oct 09 14:58:00 Starting semantics/proofs
Oct 09 15:00:40 Finished semantics/proofs                                      2m39s 929MB
Oct 09 15:00:40 Starting basis/pure
Oct 09 19:55:27 Resuming basis/pure
Oct 09 19:55:37 Finished basis/pure                                               8s 590MB
Oct 09 19:55:38 Starting translator Oct 09 19:55:38 97s