source: examples/example_scripts/python/run_test @ d0efdec

mei_rt2
Last change on this file since d0efdec 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: 1.0 KB
Line 
1#!/bin/sh
2
3echo '---running (python) attr script'
4make run_attr 1>/dev/null 2>& 1
5result=`grep succeed attr.log 2>/dev/null`
6if [ "$result" = "" ]; then
7   echo "   ERROR"
8else   
9   echo "   PASSED"
10fi
11
12echo '---running (python) encrypted key attr script'
13make run_e_attr 1>/dev/null 2>& 1
14result=`grep succeed e_attr.log 2>/dev/null`
15if [ "$result" = "" ]; then
16   echo "   ERROR"
17else   
18   echo "   PASSED"
19fi
20
21echo '---running (python) id script'
22make run_id 1>/dev/null 2>& 1
23result=`grep IceCream_ID.pem id.log 2>/dev/null`
24if [ "$result" = "" ]; then
25   echo "   ERROR"
26else   
27   echo "   PASSED"
28fi
29
30echo '---running (python) id script, expect failure'
31make run_id2 1>/dev/null 2>& 1
32result=`grep "Id creation from filename failed" id2.log 2>/dev/null`
33if [ "$result" = "" ]; then
34   echo "   ERROR"
35else   
36   echo "   PASSED"
37fi
38
39
40echo '---running (python) prover script'
41make run_prove 1>/dev/null 2>& 1
42result=`grep "YAP query succeed" prover.log 2>/dev/null`
43if [ "$result" = "" ]; then
44   echo "   ERROR"
45else   
46   echo "   PASSED"
47fi
Note: See TracBrowser for help on using the repository browser.