search

uw-pluverse / perses

language-agnostic program reducer.
GNU General Public License v3.0
162 stars 22 forks source link

flaky test: //test/org/perses/benchmark_toys/parentheses:reduction_golden_test #8

Closed chengniansun closed 1 year ago

chengniansun commented 3 years ago

Also the following,

//test/org/perses/benchmark_toys/parentheses:reduction_golden_test_progress_test

chengniansun commented 1 year ago

The flakiness came from the different versions of gcc. The problem has been fixed by refining the reduction script.