CakeML Regression Test

Job 2751

CakeML:b2723400538219fb612f8091bf95a6a4d7ac2195
  Revert "add a flag to disable ARITH_ss in precond" [Dec 13 16:16:32]
#1114 (issue427)
Merging into:3f6d27d17c58e4c14f23eb5148f2e682bdf82aef
  Merge pull request #1111 from CakeML/parsingCompute [Dec 12 23:25:46]
HOL:1c3270d819e95cdf222b564e34d657a2dfd38a0e
  fix #1371 [Dec 12 01:36:54]
Machine:lammmington

Dec 13 21:18:54 Claimed job
Dec 13 21:19:00 Building HOL
Dec 13 21:29:54 Starting developers
Dec 13 21:29:58 Finished developers                                               2s 199MB
Dec 13 21:29:59 Starting developers/bin
Dec 13 21:30:05 Finished developers/bin                                           5s 746MB
Dec 13 21:30:06 Starting compiler/proofs
Dec 13 23:11:27 Finished compiler/proofs                                    1h41m18s  27GB
Dec 13 23:11:28 Starting compiler/bootstrap/translation Dec 13 23:11:28 25598s