pascal-lab / Tai-e-assignments

Tai-e assignments for static program analysis
https://tai-e.pascal-lab.net/
GNU Lesser General Public License v3.0
1.01k stars 234 forks source link

Omissions from OnlineJudge's test cases (A6) #26

Open TekkenSteve opened 1 month ago

TekkenSteve commented 1 month ago

What happened: I actually found this out by accident, my Solver.java's visitor pattern had a misplaced context in one place, but A6's OJ didn't check for it until I got hit hard with it in A7. kk The ❌ part is code that is fooling OJ (A6), but will be exposed by local test cases in A7 . ll If there is an official will to improve the online testing, My A6's Submission ID for the test is 81fc0b28a293035 I didn't touch the wrong code, you can easily reproduce the problem by downloading the Accepted commit from this A6 ID, taking Solver.java and putting it into A7, and perhaps the A7 error message will help you refine the A6 online test case.