Add scripts for libkluzzer and coveritest - Githubissues

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation

0 stars 0 forks source link

Add scripts for libkluzzer and coveritest #52

Closed izlatkin closed 2 years ago

izlatkin commented 2 years ago

Binaries: https://test-comp.sosy-lab.org/2022/systems.php

https://gitlab.com/sosy-lab/test-comp/archives-2022/raw/testcomp22/2022/libkluzzer.zip https://gitlab.com/sosy-lab/test-comp/archives-2022/raw/testcomp22/2022/coveritest.zip

izlatkin commented 2 years ago

f30587e0f3d7ecabd6e27cc611c6d3979d0d182f and 8a829ef46c8f86c9a9d50f3c8a29cfa952c35fcd

coveritest - doesn't work currently