Artifact for "Verifying the Option Type with Rely-Guarantee Reasoning"

This archive contains data and scripts accompanying the paper "Verifying the Option Type with Rely-Guarantee Reasoning" Steps to Use Download the .zip file (optional-paper-data.zip). Unzip the file, and read the included README.md file.