← Back to branch summary

~ptaank/tapaal/run-multiple-queries- 

1
2
3

#!/bin/sh

java -cp /usr/lib/tapaal:/usr/lib/tapaal/\* TAPAAL