source:
examples/example_scripts/c/run_test
@
c6d5da3
| Last change on this file since c6d5da3 was 928b1b7, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 418 bytes | |
| Rev | Line | |
|---|---|---|
| [ba6027a] | 1 | #!/bin/sh |
| 2 | ||
| [928b1b7] | 3 | make -s clean |
| [bea18ef] | 4 | |
| [ba6027a] | 5 | echo '---running (c) attr script' |
| [bea18ef] | 6 | make attr 1>/dev/null 2>& 1 |
| [ba6027a] | 7 | result=`grep "prover success" attr.log 2>/dev/null` |
| 8 | if [ "$result" = "" ]; then | |
| 9 | echo " ERROR" | |
| 10 | else | |
| 11 | echo " PASSED" | |
| 12 | fi | |
| 13 | ||
| [bea18ef] | 14 | echo '---running (c) prover script' |
| 15 | make prove 1>/dev/null 2>& 1 | |
| 16 | result=`grep "prover success" prover.log 2>/dev/null` | |
| 17 | if [ "$result" = "" ]; then | |
| 18 | echo " ERROR" | |
| 19 | else | |
| 20 | echo " PASSED" | |
| 21 | fi | |
| 22 |
Note: See TracBrowser
for help on using the repository browser.
