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

This site uses Akismet to reduce spam. Learn how your comment data is processed.