[TestComp-2022] `TIMEOUT` with 0 test case

[DonggeLiu]

Issue

Legion-SymCC timed out without generating any test cases

Sample output from Legion-SymCC

?                                  input: 
return code:  -6
partial trace:  (not (= (ite (= ((_ extract 0 0) (ite (= ((_ extract 0 0) (ite (bvsge ((_ sign_extend 24) stdin7) #x00000000) #x01 #x00)) #b0) #x00 #x01)) #b0) #x00000000 #x00000001) #x00000000))
< 01
? 0                                input: 1aa19085d6a6ddd1de9a9898084bceba
return code:  -6
partial trace:  (not (= ((_ sign_extend 24) stdin10) #xfffffffe))
< 001
! 1
? 1                                input: b5bbe5e709d23e6844845bb23de0da50
return code:  -6
...
(a lot of similar ones follow)

Command

./legion.sh -L ubuntu2004/lib -m 10000 -32 ../../sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.ufo.BOUNDED-10.pals.c

Corresponding programs

seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.BOUNDED-10.pals.yml seq-mthreaded/pals_STARTPALS_ActiveStandby.5.ufo.BOUNDED-10.pals.yml (and many more from set Sequentialised)

[DonggeLiu]

A quick note of the error codes from @tobycmurray: 0 Unknown signal 0 1 Hangup 2 Interrupt 3 Quit 4 Illegal instruction 5 Trace/breakpoint trap 6 Aborted 7 Bus error 8 Floating point exception 9 Killed 10 User defined signal 1 11 Segmentation fault 12 User defined signal 2 13 Broken pipe 14 Alarm clock 15 Terminated 16 Stack fault 17 Child exited 18 Continued 19 Stopped (signal) 20 Stopped 21 Stopped (tty input) 22 Stopped (tty output) 23 Urgent I/O condition 24 CPU time limit exceeded 25 File size limit exceeded 26 Virtual timer expired 27 Profiling timer expired 28 Window changed 29 I/O possible 30 Power failure 31 Bad system call