]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/rtests/write/run_write
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / rtests / write / run_write
1 #! /bin/bash
2
3 test_sample () {
4     file="$1"
5     echo -n "Testing $file... "
6     ./test_write -in "$file" >out1
7     ./test_write -in out1    >out2
8     ./test_write -in out2    >out3
9     if cmp out1 out3; then
10         echo "OK"
11     else
12         echo "FAILED"
13     fi
14 }
15
16
17 test_sample "sample001.xml"