Evaluation scripts for Gobra (https://github.com/viperproject/gobra/)
No issues in this repository yet.