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

• Tomas Vojnar
• Kamil Dudka
• Petr Peringer
• Veronika Šoková
• Michal Kotoun

Archive Links

• Link to Predator Hunting Party 2015
• Link to Predator Hunting Party 2016
• Link to Predator Hunting Party 2017
• Link to Predator Hunting Party 2018
• Link to Predator Hunting Party 2019

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