Predator Hunting Party 2020

 

PredatorHP is a version of Predator tool adapted for participation in SV-COMP 2020.

Installation

A binary version of PredatorHP for Ubuntu 18.04 can be downloaded from link: predator-hp-svcomp2020-binary.zip .
It was compiled from source at 2019-11-20 using gcc --version : "gcc (Ubuntu 7.4.0-1ubuntu1~18.04.1) 7.4.0".
Warning: Binary Predator does not work with different versions of gcc (and predatorHP.py always returns "unknown" in this case)

Source Code

PredatorHP Team

Archive Links

Acknowledgement

This work was supported by the Czech Science Foundation (project 17-12465S), the IT4IXS: IT4Innovations Excellence in Science project LQ1602, and the internal Brno University of Technology project FIT-S-17-4014.

Last modification: 28. April 2020