source: examples/example_scripts/perl/run_test @ 163aadf

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Last change on this file since 163aadf was 14eea4a, checked in by Mei <mei@…>, 11 years ago

1) update regression tests to work on bsd's 'test'/wc format

  • Property mode set to 100755
File size: 818 bytes
Line 
1#!/bin/sh
2
3make -s clean
4
5echo '---running (perl) id script'
6make -s run 1>/dev/null 2>&1 
7result=`grep OKAY id.log 2>/dev/null`
8if [ "$result" = "" ]; then
9   echo "   ERROR"
10else   
11   echo "   PASSED"
12fi
13
14echo '---running (perl) id2 script, expected failure'
15make -s bad 1>/dev/null 2>&1
16result=`grep "std::invalid_argument" id2.log 2>/dev/null`
17if [ "$result" = "" ]; then
18   echo "   ERROR"
19else   
20   echo "   PASSED"
21fi
22
23echo '---running (perl) attr script'
24make -s attr 1>/dev/null 2>&1
25result=`grep "chocolate" attr.log 2>/dev/null`
26if [ "$result" = "" ]; then
27   echo "   ERROR"
28else   
29   echo "   PASSED"
30fi
31
32
33echo '---running (perl) prover script'
34make -s prove 1>/dev/null 2>&1
35result=`grep "Success" prover.log 2>/dev/null`
36if [ "$result" = "" ]; then
37   echo "   ERROR"
38else   
39   echo "   PASSED"
40fi
Note: See TracBrowser for help on using the repository browser.