mei_rt2
Last change
on this file since b4b0d0a was
b4b0d0a,
checked in by Mei <mei@…>, 11 years ago
|
1) more tweaking..
|
-
Property mode set to
100755
|
File size:
1.0 KB
|
Line | |
---|
1 | #!/bin/sh |
---|
2 | |
---|
3 | ######### |
---|
4 | # run_test |
---|
5 | # |
---|
6 | |
---|
7 | unset keystore |
---|
8 | unset ABAC_CN |
---|
9 | |
---|
10 | ./cleanup.sh all |
---|
11 | ./setup.sh 1>/dev/null 2>&1 |
---|
12 | ./policy.sh 1>/dev/null 2>&1 |
---|
13 | |
---|
14 | sed -f sfile yap_clauses > main_yap_clauses |
---|
15 | |
---|
16 | # run_it s1 |
---|
17 | a_run() |
---|
18 | { |
---|
19 | echo "---running scenario $1 " |
---|
20 | ./cleanup.sh |
---|
21 | ./policy.sh 1> /dev/null 2>&1 |
---|
22 | ./scenario_$1.sh 1> /dev/null 2>&1 |
---|
23 | sed -f sfile_$1 $1_yap_clauses > my_$1_yap_clauses |
---|
24 | |
---|
25 | ./$1_run_query > $1_result.sha |
---|
26 | ./$1_query.py >> $1_result.sha |
---|
27 | |
---|
28 | env ABAC_CN=1 ./$1_query.py > $1_result.cn |
---|
29 | env ABAC_CN=1 ./$1_run_query >> $1_result.cn |
---|
30 | |
---|
31 | rm -rf sfile* |
---|
32 | |
---|
33 | result=`diff -I "Restoring file" -I "YAP 6.3" $1_result.cn $1_result.save` |
---|
34 | if [ $? -eq 0 ]; then |
---|
35 | if [ "$result" = "" ]; then |
---|
36 | echo " PASSED" |
---|
37 | else |
---|
38 | echo " ERROR: access creddy_prover $1 test result differs!!!" |
---|
39 | fi |
---|
40 | else |
---|
41 | echo " ERROR: access creddy_prover $1 test result differs!!!" |
---|
42 | fi |
---|
43 | } |
---|
44 | |
---|
45 | a_run s1 |
---|
46 | a_run s2 |
---|
47 | a_run s3 |
---|
48 | a_run s4 |
---|
49 | a_run s5 |
---|
50 | a_run s6 |
---|
51 | |
---|
52 | env ABAC_CN=1 ./dumpdb.py 1> yapdb_dump 2>&1 |
---|
Note: See
TracBrowser
for help on using the repository browser.