Job 591

CakeML:64157f088f3bf8065fccd7fc67b44a4e44c4a5af
  Shorten many excessively long lines [Nov 29 04:47:58]
#566 (readme)
Merging into:59886cd0205c1d5d943ef10a26890f79b515b68f
  Merge pull request #561 from CakeML/print-types [Nov 26 04:25:18]
HOL:f47304e1a773d1edc8606a0bda7299f8e926d11a
  Merge branch 'vars-and-variants' into master [Nov 28 21:10:26]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Nov 29 04:53:52 Claimed job
Nov 29 04:55:00 Building HOL
Nov 29 05:02:48 Starting developers
Nov 29 05:02:49 Finished developers                                               0s  19MB
Nov 29 05:02:50 Starting developers/bin
Nov 29 05:03:20 Finished developers/bin                                          29s 140MB
Nov 29 05:03:21 Starting semantics/ffi
Nov 29 05:03:58 Finished semantics/ffi                                           35s 404MB
Nov 29 05:03:58 Starting semantics
Nov 29 05:05:26 Finished semantics                                             1m26s 986MB
Nov 29 05:05:26 Starting semantics/proofs
Nov 29 05:08:17 Finished semantics/proofs                                      2m49s   1GB
Nov 29 05:08:18 Starting basis/pure
Nov 29 05:11:56 Finished basis/pure                                            3m36s 653MB
Nov 29 05:11:56 Starting translator
Nov 29 05:13:04 Finished translator                                            1m06s 920MB
Nov 29 05:13:04 Starting compiler/parsing
Nov 29 05:14:21 Finished compiler/parsing                                      1m15s   1GB
Nov 29 05:14:22 Starting characteristic
Nov 29 05:14:24 FAILED: characteristic
]0;Holmake: .]0;Holmake: ../basis/pure]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/balanced_bst]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/balanced_bst[1mWorking in $(HOLDIR)/examples/balanced_bst[0m
]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages/context-free]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ../basis/pure]0;Holmake: ../misc]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-f47304e1a773d1edc8606a0bda7299f8e926d11a/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ../misc]0;Holmake: ../developers]0;Holmake: ../developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ../misc]0;Holmake: ../misc/lem_lib_stub]0;Holmake: ../misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ../misc]0;Holmake: ../misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ../basis/pure]0;Holmake: ../basis/pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: .]0;Holmake: ../compiler/parsing]0;Holmake: ../semantics]0;Holmake: ../semantics/ffi]0;Holmake: ../semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ../semantics]0;Holmake: ../semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ../compiler/parsing]0;Holmake: ../compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: .]0;Holmake: ../semantics/proofs]0;Holmake: ../semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: .]0;Holmake: ../translator]0;Holmake: ../translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/characteristic[0m
Starting work on heap
Starting work on README.md
README.md                                                                                         FAILED! <1>
 ERROR! readme_gen.sml failed due to:
 cfHeapsBaseSyntax.sml: tab characters (#"\t") are not allowed
 These errors were in: /home/myreen/regression/cakeml-591/characteristic
 
heap                                                                                                 M-KILLED