Add diff tests for filesystem - Githubissues

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

69 stars 38 forks source link

Add diff tests for filesystem #103

Closed xudon9 closed 1 year ago

xudon9 commented 1 year ago

Replace diff-tests.cpp with a python script
Add diff tests for filesystem