[TestComp-2022] `OUT OF MEMORY` with extremely long output

[DonggeLiu]

Issue

Legion-SymCC terminated early because it consumed all memory

Sample output from Legion-SymCC

?                                  input: 
return code:  -14
partial trace:  (= (concat stdin400519 (concat stdin400518 (concat stdin400517 stdin400516))) (concat stdin400567 (concat stdin400566 (concat stdin400565 stdin400564))))
< 0000000000... (extremely long trace of 0s)

Note: return code 14 Alarm clock

Command

./legion.sh -L ubuntu2004/lib -m 10000 -32 ../../sv-benchmarks/c/array-examples/data_structures_set_multi_proc_ground-1.i

Corresponding programs

array-examples/data_structures_set_multi_proc_ground-1.yml array-examples/data_structures_set_multi_proc_ground-2.yml