Question about A3 - Githubissues

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

Closed SolLupus closed 4 months ago

SolLupus commented 7 months ago

There are 516 dead Stmts in all test cases
Your submission correctly detects 516 dead Stmts
#false negatives: 0
#false positives: 2

can anyone give some tips?i trap in this situation and have no idea indeed.