Artifact for "Are My Invariants Valid? A Learning Approach"

This is the preliminary artifact for our paper on learning to judge the validity of invariants (specifically, method pre- and post-conditions), including data, code and output logs. Please see the README for details on the contents and how to run the code