test.py 83 Bytes
Newer Older
1 2 3 4 5


# Local Variables:
# compile-command: "make -C ../.. && why3 ide test.py"
# End: