search

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.
24 stars 5 forks source link

Add configurable portfolio #87

Closed AdamZsofi closed 3 years ago

AdamZsofi commented 3 years ago

This pull request deletes the old, hardcoded starter & portfolio script and adds a new, configurable one, which can be found under /scripts/portfolio. Example YAML configuration files and input files are also there.

Documentation is under /doc/portfolio.md (usage and features are both documented).

I also extended the functional tests with a few portfolio tests (these can be extended with more in the future), here. The Dockerfile was also edited so portfolios can also be run on the docker machines.

hajduakos commented 3 years ago

Nice job @AdamZsofi ! I did not check the Perl scripts in detail because I'm not an expert. But seems like they are well structured. I focused more on the user's side, I did some refactoring/improvements in the documentation. I also bumped the version number.

I'll wait for the CI to pass, then I'll do the merge.

sonarcloud[bot] commented 3 years ago

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information