Failure case

bashlog.txt

dev-dsk-lebjuney-1d-d3fc5ff7 % make sematest
../tools/run-sematest.sh . 32 "/home/lebjuney/hol-light-ocaml4.14/hollight "
- Child 1 (pid 3178) has started (log path: /tmp/tmp.muukON4ZUi)
- Child 2 (pid 3183) has started (log path: /tmp/tmp.sQ1LEwAzA5)
- Child 3 (pid 3187) has started (log path: /tmp/tmp.d6SAmJ6Hfz)
- Child 4 (pid 3193) has started (log path: /tmp/tmp.tUY6sTyOYR)
- Child 5 (pid 3198) has started (log path: /tmp/tmp.q5XSylRFhq)
- Child 6 (pid 3205) has started (log path: /tmp/tmp.MtloMm7gT3)
- Child 7 (pid 3211) has started (log path: /tmp/tmp.cdFrUjdqn6)
- Child 8 (pid 3221) has started (log path: /tmp/tmp.Zul9KtqGTx)
- Child 9 (pid 3231) has started (log path: /tmp/tmp.ZWA9yXQIeJ)
- Child 10 (pid 3239) has started (log path: /tmp/tmp.lK7vxXR1jD)
- Child 11 (pid 3244) has started (log path: /tmp/tmp.TBFqAJZguQ)
- Child 12 (pid 3250) has started (log path: /tmp/tmp.3VTotn4fZj)
- Child 13 (pid 3265) has started (log path: /tmp/tmp.DUOjSlRTEU)
- Child 14 (pid 3272) has started (log path: /tmp/tmp.hnyzZNYH0K)
- Child 15 (pid 3275) has started (log path: /tmp/tmp.FvspW9Qx2G)
- Child 16 (pid 3285) has started (log path: /tmp/tmp.mMzzJOI3ZW)
- Child 17 (pid 3292) has started (log path: /tmp/tmp.EYPCkQn4oo)
- Child 18 (pid 3303) has started (log path: /tmp/tmp.ul3TW9yzLo)
- Child 19 (pid 3324) has started (log path: /tmp/tmp.8odg2aDgIO)
- Child 20 (pid 3329) has started (log path: /tmp/tmp.pqz857S0jj)
- Child 21 (pid 3334) has started (log path: /tmp/tmp.dr8yruFEVY)
- Child 22 (pid 3343) has started (log path: /tmp/tmp.c5LYTF1OkR)
- Child 23 (pid 3350) has started (log path: /tmp/tmp.f2O6sULX5c)
- Child 24 (pid 3355) has started (log path: /tmp/tmp.gsb6r0CttC)
- Child 25 (pid 3362) has started (log path: /tmp/tmp.mkFBEnrgfy)
- Child 26 (pid 3378) has started (log path: /tmp/tmp.EkCei7QCaQ)
- Child 27 (pid 3384) has started (log path: /tmp/tmp.4pPwZ06WYi)
- Child 28 (pid 3390) has started (log path: /tmp/tmp.6Lx4HYTRaE)
- Child 29 (pid 3397) has started (log path: /tmp/tmp.vjXDLuLGDj)
- Child 30 (pid 3403) has started (log path: /tmp/tmp.aiF2BiRyCo)
- Child 31 (pid 3407) has started (log path: /tmp/tmp.WbQJVJhBLs)
- Child 32 (pid 3423) has started (log path: /tmp/tmp.4Qe0WjzKij)
- Last 7 lines of simulator 1's log (path: /tmp/tmp.muukON4ZUi):
CPU time (user): 0.858379
OK: arm_SUBS W12 W17 (rvalue (word 440))
random inst: decode 3513778804
Stepping to state s1
CPU time (user): 0.374829
OK: arm_SUB X20 X19 (rvalue (word 12582912))
Finished (time limit: 20.000000s)
Simulator 1 failed!
make: *** [sematest] Error 1