search

Practical-Formal-Methods / adiff

Tool for differentially testing soundness and precision of program analyzers
MIT License
11 stars 6 forks source link

EXP08: crab-llvm with different domains (int, zones, rtz) #110

Closed chkl closed 5 years ago

chkl commented 6 years ago

Let's also add the domains oct, pk

chkl commented 6 years ago

Still running, pk and oct are a lot slower (obviously!)