source: examples/example_scripts/c/run_test @ 33a9212

mei_rt2mei_rt2_fix_1
Last change on this file since 33a9212 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: 422 bytes
Line 
1#!/bin/sh
2
3make -s realclean
4
5echo '---running (c) attr script'
6make attr 1>/dev/null 2>& 1
7result=`grep "prover success" attr.log 2>/dev/null`
8if [ "$result" = "" ]; then
9   echo "   ERROR"
10else   
11   echo "   PASSED"
12fi
13
14echo '---running (c) prover script'
15make prove 1>/dev/null 2>& 1
16result=`grep "prover success" prover.log 2>/dev/null`
17if [ "$result" = "" ]; then
18   echo "   ERROR"
19else   
20   echo "   PASSED"
21fi
22
Note: See TracBrowser for help on using the repository browser.