aget-bug2 #66
Description
Coderrect has a possibly interesting repository: https://github.com/coderrect/aget-bug2.
This seems to originate from DataRaceBenchmark, which in turn seems to have gotten it from SCTBench.
However, it's particularly odd that Aget 0.57 doesn't seem to exist: mc-imperial/sctbench#4.