martinspiessl / predatorhp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from versokova/predatorhp
A script to utilize multiple concurrently-running Predator Analyzers with various setup
Home Page: http://www.fit.vutbr.cz/research/groups/verifit/tools/predator-hp/
License: GNU General Public License v3.0