Predator Hunting Party 2019

 

DRAFT

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

Paper draft: predator-svcomp-2019.pdf.

Installation

A binary version of PredatorHP for Ubuntu 18.04 can be downloaded from link:
predator-hp-svcomp2019-binary.zip
It was compiled from source at 2018-11-xx using old gcc-5 --version : "gcc-5 (Ubuntu 5.5.0-12ubuntu1) 5.5.0 20171010".
Warning: Binary Predator does not work with different versions of gcc (and predatorHP.py always returns "unknown" in this case)

Source code (git repository) of PredatorHP can be downloaded from link predator-hp-svcomp2019.tar.gz, please see the "README-SVCOMP-2019" file for installation instructions.

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: 12. November 2018