use generative functor for symbol table module
run ErrorHandler was missing
spin: checking of ltl claims successful (some tasks may stay suspended but no task stays waiting, i.e. no deadlocks)
testing octagons
EOL at EOF
for x in *; do if [ -n "$(tail -c 1 <"$x")" ]; then echo >>"$x"; fi; done
arinc: set task status to DONE at the end