Updating Benchexec to new portfolio

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.

24 stars 5 forks source link

Updating Benchexec to new portfolio #91

Closed AdamZsofi closed 3 years ago

AdamZsofi commented 3 years ago

This PR adds:

minor fix of #88
a doc on using Benchexec with Gazer and Theta (with the new and old portfolio script as well)
example files for using Benchexec with the new portfolio script

Note: For the new portfolio to work, I had to change a bit on the Benchexec integration. This change isn't officially added to Benchexec yet, but for now that isn't really an inconvenience (see Benchexec doc).

sonarcloud[bot] commented 3 years ago

Kudos, SonarCloud Quality Gate passed!

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

No Coverage information
No Duplication information