CakeML Regression Test

Job 1396

CakeML:9962f61c52c582fcd43ffacda21f089f0bd90cf3
  Fix a silly copy-paste mistake [Nov 15 20:16:12]
#804 (currheap)
Merging into:e76d28c8e72843dfda88ff470e38d5fdfa8acda4
  Merge pull request #802 from CakeML/data-cost [Nov 14 14:20:36]
HOL:ea22210a5c1604df84c66d847322f752e263354d
  Fiddle with file in attempt to get otknl build progressing further [Nov 10 07:57:06]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Nov 15 20:16:48 Claimed job
Nov 15 20:16:56 Reusing HOL
Nov 15 20:17:03 Starting developers
Nov 15 20:17:06 Finished developers                                               2s 127MB
Nov 15 20:17:06 Starting developers/bin
Nov 15 20:17:12 Finished developers/bin                                           6s   1GB
Nov 15 20:17:13 Starting semantics/ffi
Nov 15 20:17:13 FAILED: semantics/ffi
Scanning [1m$(CAKEMLDIR)/misc/lem_lib_stub[0m
Starting work on lem_pervasivesTheory
Starting work on lem_pervasives_extraTheory
Starting work on README.md
README.md                                                                                                                                            real:    0s  user:    0s     OK
lem_pervasivesTheory                                                                                                                                 real:    0s  user:    0sFAIL<7F>
 /home/myreen/regression/HOL-ea22210a5c1604df84c66d847322f752e263354d/bin/buildheap: symbol lookup error: /home/myreen/regression/HOL-ea22210a5c1604df84c66d847322f752e263354d/bin/buildheap: undefined symbol: PolyNetworkGetSockTypeList
lem_pervasives_extraTheory                                                                                                                                                   M-KILLED