CakeML Regression Test

Job 1657

CakeML:464240266213dd53833524adc3db11acbc718155
  Fix failure [Nov 23 21:45:17]
#846 (pattern-aliases)
Merging into:99fb6df32493efb4c9ae4d7f6675e49fc2628b2b
  Merge pull request #842 from CakeML/ramsey [Nov 18 19:39:38]
HOL:789ad86cf1243f351ce7b720d1829e274e34bbc9
  Use newer theorem style for list_size_append [Nov 22 23:02:25]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Nov 23 21:47:16 Claimed job
Nov 23 21:47:22 Reusing HOL
Nov 23 21:48:00 Starting developers
Nov 23 21:48:04 Finished developers                                               4s 129MB
Nov 23 21:48:04 Starting developers/bin
Nov 23 21:48:11 Finished developers/bin                                           6s   1GB
Nov 23 21:48:11 Starting semantics/ffi
Nov 23 21:48:20 Finished semantics/ffi                                            9s 219MB
Nov 23 21:48:21 Starting semantics
Nov 23 21:49:44 Finished semantics                                             1m23s   1GB
Nov 23 21:49:44 Starting semantics/proofs
Nov 23 21:53:17 Finished semantics/proofs                                      3m32s   1GB
Nov 23 21:53:17 Starting semantics/alt_semantics
Nov 23 21:53:28 Finished semantics/alt_semantics                                 11s 350MB
Nov 23 21:53:29 Starting semantics/alt_semantics/proofs
Nov 23 21:55:53 Finished semantics/alt_semantics/proofs                        2m24s 860MB
Nov 23 21:55:53 Starting basis/pure
Nov 23 21:56:43 Finished basis/pure                                              49s 895MB
Nov 23 21:56:43 Starting translator
Nov 23 21:59:32 Finished translator                                            2m48s   1GB
Nov 23 21:59:32 Starting compiler/parsing
Nov 23 22:00:48 Finished compiler/parsing                                      1m15s   2GB
Nov 23 22:00:48 Starting characteristic
Nov 23 22:06:30 Finished characteristic                                        5m41s   2GB
Nov 23 22:06:30 Starting translator/monadic
Nov 23 22:08:10 Finished translator/monadic                                    1m40s   1GB
Nov 23 22:08:11 Starting basis Nov 23 22:08:11 148s