Added minor portfolio fixes and new portfolio configurations

ftsrg / gazer

An LLVM-based formal verification frontend for C programs.

24 stars 5 forks source link

Added minor portfolio fixes and new portfolio configurations #98

Open AdamZsofi opened 3 years ago

AdamZsofi commented 3 years ago

This commit adds a fix for a few typos in the portfolio (which caused the output to be wrong in certain cases) and a two additional portfolio configuration YAMLs.