~tapaal-contributor/tapaal/signed-integers-fix-1714815

1
2
3
#!/bin/sh

(cd release-version; java -cp .:* TAPAAL)