Fix is_rec_assign
bug in simpleChecker.ml
#308
Job | Run time |
---|---|
16m 18s | |
14m 53s | |
31m 11s |
is_rec_assign
bug in simpleChecker.ml
#308
Job | Run time |
---|---|
16m 18s | |
14m 53s | |
31m 11s |