source: examples/example_scripts/perl/run_test @ bea18ef

mei_rt2mei_rt2_fix_1
Last change on this file since bea18ef was bea18ef, checked in by Mei <mei@…>, 12 years ago

1) add more tiny prover tests in examples/example_scripts
2) reverted the changes to ABAC_VERSION in libabac's abac_util.c

  • Property mode set to 100755
File size: 665 bytes
Line 
1#!/bin/sh
2
3make -s realclean
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) id script, expected failure'
15make -s bad 1>/dev/null 2>&1
16result=`grep "Id creation from filename failed" id2.log 2>/dev/null`
17if [ "$result" = "" ]; then
18   echo "   ERROR"
19else   
20   echo "   PASSED"
21fi
22
23echo '---running (perl) prover script, expected failure'
24make -s prove 1>/dev/null 2>&1
25result=`grep "YAP query failed" prover.log 2>/dev/null`
26if [ "$result" = "" ]; then
27   echo "   ERROR"
28else   
29   echo "   PASSED"
30fi
Note: See TracBrowser for help on using the repository browser.