Cypress (PLDI 2021 Artifact): Code and Benchmarks
Virtual machine: The Cypress.ova file is a virtual machine image containing the full artifact and benchmarks. It should work with either VMWare or VirtualBox (we used VirtualBox 6.1). To start with it, follow the instructions in README.md file attached to this artifact.
Source code: Download TyGuS/suslik-v0.4-cypress.zip archive, unpack it, and follow the Step by Step Instructions in the README.md file in the root of the project.
- Is supplement to
- https://github.com/TyGuS/suslik/tree/v0.4-cypress (URL)