Reference Implementation: Update

We found and fixed bugs in the reference implementation supplied with the testing framework for SYNTCOMP (here). We will however not update the package. Instead, please download the latest version from Bitbucket (to update, simply replace aisy.py from your installation with the one from the repository).

Leave a Reply

Your email address will not be published. Required fields are marked *