search

gernst / legion-symcc

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

/legion.sh ../sv-benchmarks/c/ldv-sets/test_add-1.i #19

Open gernst opened 2 years ago

gernst commented 2 years ago

why is only one test-case generated?