source: examples/access_tests/creddy_prover/run_test @ 7751094

mei_rt2
Last change on this file since 7751094 was 7f04233, checked in by Mei <mei@…>, 11 years ago

1) tweak examples

  • Property mode set to 100755
File size: 989 bytes
Line 
1#!/bin/sh
2
3#########
4# run_test
5#
6
7unset keystore
8unset ABAC_CN
9
10./cleanup.sh all
11./setup.sh 1>/dev/null 2>&1
12./policy.sh 1>/dev/null 2>&1
13
14sed -f sfile yap_clauses > main_yap_clauses
15
16# run_it s1
17a_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
45a_run s1
46a_run s2
47a_run s3
48a_run s4
49a_run s5
50a_run s6
51
Note: See TracBrowser for help on using the repository browser.