Job 2665

CakeML:ee72b652bcbceb6b672ec4c4206565d80c2f9f55
  Fix broken proof [Oct 12 10:45:05]
#1067 (remove-simple-save_thm)
Merging into:91770b88be32b8bb339dc4ce1af103de0f708ba0
  Add timestamps to output [Oct 18 21:20:24]
HOL:07c84bff2b89ddb2c81c57884f4141bbc37accdb
  Fix cv_compute regression test to cope with case-sensitive files [Oct 15 03:20:04]
Machine:lammmington

Oct 18 21:31:03 Claimed job
Oct 18 21:31:07 Reusing HOL
Oct 18 21:31:19 Starting developers
Oct 18 21:31:23 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (2s)FAIL<1>
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/backend/x64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/benchmarks
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/benchmarks/cakeml_benchmarks/cakeml
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/benchmarks/mlton_benchmarks/cakeml
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/ag32/32
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/ag32/32/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/arm8/64
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/arm8/64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/x64/32
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/x64/32/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/x64/64
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/compilation/x64/64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/bootstrap/translation
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/dafny
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/dafny/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/dafny/semantics
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/dafny/translation
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/ag32
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/ag32/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/arm7
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/arm7/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/arm8
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/arm8/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/arm8_asl
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/arm8_asl/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/asm
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/mips
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/mips/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/monadic_enc
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/riscv
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/riscv/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/tests
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/x64
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/encoders/x64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/inference
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/inference/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/inference/tests
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/parsing
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/parsing/ocaml
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/parsing/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/parsing/tests
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/printing
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/printing/test
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2665/compiler/repl
 Checking: /scratch/cakeml/regression2/cakeml-2665/cv_translator
 ERROR! readme_gen.sml failed due to:
 eval_cake_compileLib.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /scratch/cakeml/regression2/cakeml-2665/cv_translator