fix(DuplicateGlobals): skip unnamed globals and guard against the type mismatch. - #23

Open

osmandagli wants to merge 17 commits into

HEAPLab:dev-reddifrom

osmandagli:dev-reddi

Commits on Apr 19, 2026

fix(tests): Now fault tolerance handlers in cpp tests are extern "C"
EmilioCorigliano
committed
fix(tests): updated the annotations to match what ASPIS wants
EmilioCorigliano
committed

Commits on Apr 20, 2026

feat(testing): now all the technique combinations are tested for each test
EmilioCorigliano
committed

Commits on Apr 21, 2026