CakeML Regression Test

Job 1510

CakeML:ccf55f97b51233520e4ee648c9a46d8e89b9cfbd
  Use prim_src_config in various to_dataBootstraps [Apr 16 11:41:25]
#811 (eval)
Merging into:d97d41235164d0340739418a6b941f7722d54535
  Merge pull request #823 from CakeML/arm64-apple [Mar 30 09:38:10]
HOL:80660c1a566218670f3e343cb742e51723b19cd7
  recovered old definition of real_random_variable_def [Apr 02 06:32:43]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Apr 16 13:03:23 Claimed job
Apr 16 13:03:25 Reusing HOL
Apr 16 13:03:33 Starting developers
Apr 16 13:03:35 Finished developers                                               2s 128MB
Apr 16 13:03:36 Starting developers/bin
Apr 16 13:03:42 Finished developers/bin                                           6s   1GB
Apr 16 13:03:42 Starting semantics/ffi
Apr 16 13:03:52 Finished semantics/ffi                                           10s 303MB
Apr 16 13:03:53 Starting semantics
Apr 16 13:05:27 Finished semantics                                             1m33s   1GB
Apr 16 13:05:27 Starting semantics/proofs
Apr 16 13:09:11 Finished semantics/proofs                                      3m44s   2GB
Apr 16 13:09:12 Starting semantics/alt_semantics
Apr 16 13:09:20 Finished semantics/alt_semantics                                  8s 433MB
Apr 16 13:09:20 Starting semantics/alt_semantics/proofs
Apr 16 13:11:41 Finished semantics/alt_semantics/proofs                        2m19s   1GB
Apr 16 13:11:41 Starting basis/pure
Apr 16 13:12:38 Finished basis/pure                                              57s   1GB
Apr 16 13:12:38 Starting translator
Apr 16 13:16:12 Finished translator                                            3m33s   2GB
Apr 16 13:16:12 Starting compiler/parsing
Apr 16 13:17:28 Finished compiler/parsing                                      1m16s   4GB
Apr 16 13:17:28 Starting characteristic
Apr 16 13:23:28 Finished characteristic                                        5m59s   3GB
Apr 16 13:23:28 Starting translator/monadic
Apr 16 13:25:18 Finished translator/monadic                                    1m49s   3GB
Apr 16 13:25:18 Starting basis Apr 16 13:25:18 1851s