Suyan Qu
Suyan Qu
We are also looking for something like this. To be specific, since students can modify their commit time, we would like to see when did they make their last push....
Depends on #1207
For simplicity: instead of fixing issues while checker, the checker will collect all errors then fix them. This will make it easier to update the fix if the on disk...
This PR depends on #1130
fuzz checker failed with seed 6461963400337942007
This PR will be split into smaller PRs. First one here: #1202
Depends on #1205