CakeML Regression Test

Job 678

CakeML:243c4289330aefdaee046c9a9b1b50f1159362f9
  Fix source_to_flatProof for new constructor names [Jan 14 18:45:31]
#591 (better-names)
Merging into:901708feeaa4cd0a8263ec24d39144eeb1f6d15d
  Merge pull request #599 from CakeML/lem-readme [Jan 14 09:15:32]
HOL:9884befd7ef626e7a20cde7aedb6f358330d8ba4
  Merge remote-tracking branch 'origin/pr/637' into develop [Jan 11 23:27:51]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 14 19:24:55 Claimed job
Jan 14 19:24:59 Reusing HOL
Jan 14 19:25:09 Starting developers
Jan 14 19:25:10 Finished developers                                               0s  31MB
Jan 14 19:25:11 Starting developers/bin
Jan 14 19:25:44 Finished developers/bin                                          32s 140MB
Jan 14 19:25:45 Starting semantics/ffi
Jan 14 19:25:54 Finished semantics/ffi                                            7s 219MB
Jan 14 19:25:54 Starting semantics
Jan 14 19:27:15 Finished semantics                                             1m20s   1GB
Jan 14 19:27:16 Starting semantics/proofs
Jan 14 19:30:32 Finished semantics/proofs                                      3m15s   1GB
Jan 14 19:30:32 Starting basis/pure
Jan 14 19:31:23 Finished basis/pure                                              49s 936MB
Jan 14 19:31:24 Starting translator
Jan 14 19:33:05 Finished translator                                            1m40s   1GB
Jan 14 19:33:06 Starting compiler/parsing
Jan 14 19:34:10 Finished compiler/parsing                                      1m03s   1GB
Jan 14 19:34:11 Starting characteristic
Jan 14 19:37:25 Finished characteristic                                        3m12s   1GB
Jan 14 19:37:26 Starting translator/monadic
Jan 14 19:38:53 Finished translator/monadic                                    1m26s   1GB
Jan 14 19:38:54 Starting basis
Jan 14 19:54:41 Finished basis                                                15m46s   2GB
Jan 14 19:54:42 Starting compiler/inference
Jan 14 19:56:20 Finished compiler/inference                                    1m37s   1GB
Jan 14 19:56:20 Starting compiler/backend/reg_alloc
Jan 14 19:57:12 Finished compiler/backend/reg_alloc                              50s   1GB
Jan 14 19:57:13 Starting compiler/backend/gc Jan 14 19:57:13 1s