]> matita.cs.unibo.it Git - helm.git/blob - run
11b573c1c8740ff2e54ff331309817f6309648a2
[helm.git] / run
1 #! /bin/sh
2
3 set -e
4
5 (cd reader && ./test_reader)
6 (cd canonxml && ./run_canonxml)
7 (cd write && ./run_write)
8 (cd codewriter && ./run_codewriter)
9 (cd negative && ./run_negative)