search

gernst / legion-symcc

Fresh implementation of the Legion algorithm on top of SyMCC
Other
0 stars 1 forks source link

[TestComp-2022] ERROR with very few test case #26

Open DonggeLiu opened 2 years ago

DonggeLiu commented 2 years ago

Issue

Legion-SymCC terminated early with done

Sample output from Legion-SymCC

?                                  input: 
return code:  -11
partial trace:  in  3
deterministic
done

final tree
      local      subtree
   win  try     win  try    path
*    0    0       0    0

Note: return code 11 Segmentation fault

Command

./legion.sh -L ubuntu2004/lib -m 10000 -32 ../../sv-benchmarks/c/loops/sum_array-2.i

Sample program

loops/sum_array-2.i loops/sum_array-2.yml