[TestComp-2022] Timeout when parsing the program

[DonggeLiu]

Issue

TestCov failed to generate any test case because it timed out after the following output:

⏳ Executing tests.DEBUG:root:Looking for tests in ../../results-verified/legion-symcc.2021-10-21_19-46-15.files/Test-Comp22_coverage-branches.diskperf.i.cil-2.yml/test-suite.zip
DEBUG:root:Considering bin/legion-symcc-RyT8oyTmgO/tests/diskperf.i.cil-2/215.xml
DEBUG:root:File bin/legion-symcc-RyT8oyTmgO/tests/diskperf.i.cil-2/215.xml is valid testcase
DEBUG:root:gcc -m32 -E ../../sv-benchmarks/c/ntdrivers/diskperf.i.cil-2.c -o ../../sv-benchmarks/c/ntdrivers/diskperf.i.cil-2.c.i
DEBUG:root:Parsing program

Maybe this is because some inputs generated by Legion-SymCC? Sample outputs from Legion-SymCC:

tests/diskperf.i.cil-2/metadata.xml

?                                  input: 
return code:  -9
< 0
+ 0
? 1                                input: 17b0ff42ef3660b5fa6afbb4832a5adce6626ed0
return code:  -9
< 10100000
+ 0
? 0                                input: 5f48420664044314a44e488f3842691a368588a8
return code:  -9
< 10100000
? 1                                input: c5751d1a9ad1d3e3c9fec2b50000000016d5a92a
return code:  -9
< 11100000
+ 0
? 1                                input: 2364f11385653b35f82fd65d000000002bdd9bc0
return code:  -9

Note: return code 9 Killed

Command

./legion.sh -L ubuntu2004/lib -m 10000 -32 ../../sv-benchmarks/c/ntdrivers/diskperf.i.cil-2.c

Corresponding programs include (but are not limited to):

ntdrivers/diskperf.i.cil-2.c