CakeML Regression Test

Job 521

CakeML:8e5a2013a01cc578a4c34fd71f7f326f885eb6a6
  Merge remote-tracking branch 'origin/remove-cheats' into assign-reorg [Oct 08 04:11:32]
#534 (assign-reorg)
Merging into:675c1da06454efcef70f62574de96a524820287f
  Merge pull request #532 from CakeML/trans-msg [Oct 03 07:58:05]
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 08 04:18:15 Claimed job
Oct 08 04:20:35 Building HOL
Oct 08 04:28:18 Starting developers/bin
Oct 08 04:28:50 Finished developers/bin                                          32s 137MB
Oct 08 04:28:51 Starting semantics/ffi
Oct 08 04:29:26 Finished semantics/ffi                                           34s 398MB
Oct 08 04:29:27 Starting semantics
Oct 08 04:30:49 Finished semantics                                             1m21s 867MB
Oct 08 04:30:50 Starting semantics/proofs
Oct 08 04:33:30 Finished semantics/proofs                                      2m39s   1GB
Oct 08 04:33:30 Starting basis/pure
Oct 08 04:37:25 Finished basis/pure                                            3m54s 631MB
Oct 08 04:37:26 Starting translator
Oct 08 04:40:37 Finished translator                                            3m09s   1GB
Oct 08 04:40:37 Starting compiler/parsing
Oct 08 04:42:06 Finished compiler/parsing                                      1m27s   1GB
Oct 08 04:42:06 Starting characteristic
Oct 08 04:44:34 Finished characteristic                                        2m26s   1GB
Oct 08 04:44:35 Starting translator/monadic
Oct 08 04:46:03 Finished translator/monadic                                    1m27s   1GB
Oct 08 04:46:04 Starting basis
Oct 08 05:04:20 Finished basis                                                18m15s   2GB
Oct 08 05:04:20 Starting compiler/inference
Oct 08 05:06:23 Finished compiler/inference                                    2m02s   1GB
Oct 08 05:06:24 Starting compiler/backend/reg_alloc
Oct 08 05:07:18 Finished compiler/backend/reg_alloc                              53s   1GB
Oct 08 05:07:19 Starting compiler/backend/gc
Oct 08 05:15:26 Finished compiler/backend/gc                                   8m05s   1GB
Oct 08 05:15:27 Starting compiler/backend
Oct 08 05:15:30 Finished compiler/backend                                         2s  20MB
Oct 08 05:15:31 Starting compiler/encoders/asm
Oct 08 05:15:32 Finished compiler/encoders/asm                                    0s  12MB
Oct 08 05:15:33 Starting compiler/encoders/x64
Oct 08 05:16:35 Finished compiler/encoders/x64                                 1m01s 572MB
Oct 08 05:16:35 Starting compiler/encoders/arm6
Oct 08 05:18:49 Finished compiler/encoders/arm6                                2m12s   1GB
Oct 08 05:18:50 Starting compiler/encoders/arm8
Oct 08 05:19:22 Finished compiler/encoders/arm8                                  31s 448MB
Oct 08 05:19:23 Starting compiler/encoders/mips
Oct 08 05:20:39 Finished compiler/encoders/mips                                1m15s 830MB
Oct 08 05:20:39 Starting compiler/encoders/riscv
Oct 08 05:21:58 Finished compiler/encoders/riscv                               1m18s 994MB
Oct 08 05:21:59 Starting compiler/backend/x64
Oct 08 05:22:20 Finished compiler/backend/x64                                    20s 900MB
Oct 08 05:22:21 Starting compiler/backend/arm6
Oct 08 05:22:46 Finished compiler/backend/arm6                                   24s   1GB
Oct 08 05:22:47 Starting compiler/backend/arm8
Oct 08 05:23:12 Finished compiler/backend/arm8                                   24s   1GB
Oct 08 05:23:13 Starting compiler/backend/mips
Oct 08 05:23:37 Finished compiler/backend/mips                                   23s 954MB
Oct 08 05:23:38 Starting compiler/backend/riscv
Oct 08 05:24:03 Finished compiler/backend/riscv                                  24s   1GB
Oct 08 05:24:04 Starting compiler/parsing/proofs
Oct 08 05:31:32 Finished compiler/parsing/proofs                               7m27s 836MB
Oct 08 05:31:33 Starting compiler/inference/proofs
Oct 08 05:35:29 Finished compiler/inference/proofs                             3m55s   1GB
Oct 08 05:35:30 Starting compiler/backend/semantics
Oct 08 05:47:01 Finished compiler/backend/semantics                           11m30s   2GB
Oct 08 05:47:02 Starting compiler/backend/reg_alloc/proofs
Oct 08 05:54:26 Finished compiler/backend/reg_alloc/proofs                     7m23s 518MB
Oct 08 05:54:27 Starting compiler/backend/proofs Oct 08 05:54:27 54s