Closed jprotze closed 1 year ago
Also, halt on error to avoid exhaustive execution time for codes with millions of races
First part of #144.
can you keep the ${OPTIMIZATION} variable?
Good catch. I missed these locations when solving the merge-conflicts
Also, halt on error to avoid exhaustive execution time for codes with millions of races
First part of #144.