source: examples/access_tests/creddy_prover/run_test @ bc0ce98

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

1) tweak testsx

  • Property mode set to 100755
File size: 1.1 KB
RevLine 
[2e9455f]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{
[bc0ce98]19    cnt=$2
[2e9455f]20    echo "---running scenario $1 "
21    ./cleanup.sh
22    ./policy.sh 1> /dev/null 2>&1
23    ./scenario_$1.sh 1> /dev/null 2>&1
24    sed -f sfile_$1 $1_yap_clauses > my_$1_yap_clauses
25
26    ./$1_run_query > $1_result.sha
27    ./$1_query.py >> $1_result.sha
28
29    env ABAC_CN=1 ./$1_query.py > $1_result.cn
30    env ABAC_CN=1 ./$1_run_query >> $1_result.cn
31
32    rm -rf sfile*
33
34    result=`diff -I "Restoring file" -I "YAP 6.3" $1_result.cn $1_result.save`
35    if [ $? -eq 0 ]; then
[bc0ce98]36        ycnt=`egrep -c "YAP query succeed" $1_result.cn 2>/dev/null`
37        if [ $ycnt -eq $cnt ]; then
[2e9455f]38           echo "   PASSED"
39        else
[7f04233]40           echo "   ERROR: access creddy_prover $1 test result differs!!!"
[2e9455f]41        fi
[bc0ce98]42
[2e9455f]43    else
[7f04233]44        echo "   ERROR: access creddy_prover $1 test result differs!!!"
[2e9455f]45    fi
46}
47
[bc0ce98]48a_run s1 4
49a_run s2 19
50a_run s3 20
51a_run s4 19
52a_run s5 23
53a_run s6 13
[2e9455f]54
[b4b0d0a]55env ABAC_CN=1 ./dumpdb.py 1> yapdb_dump 2>&1
Note: See TracBrowser for help on using the repository browser.