source: examples/python_tests/partial_proof_rt0/run_test @ 212e99f

mei_rt2mei_rt2_fix_1 libabac-0.2.2apre-partial
Last change on this file since 212e99f was a7f03f3, checked in by Mei <mei@…>, 12 years ago

1) add the new yap porting directory and some of code
2) add parital proof test code

  • Property mode set to 100755
File size: 777 bytes
Line 
1#!/bin/sh
2
3rm -rf rockets.pl
4
5echo '---setup principals'
6env keystore=`pwd` ./setup.py 1>/dev/null 2>& 1
7
8echo '---setup attributes'
9env keystore=`pwd` ./attr.py 1>rocket.log 2>& 1
10
11echo '---run queries'
12g_cmd_sha=`grep "cmd1:" query.py |sed "s/cmd1://g" `
13g_cmd_cn=`grep "cmd2:" query.py |sed "s/cmd2://g" `
14
15echo '...with sha'
16eval $g_cmd_sha 2>/dev/null 1 > rocket.sha
17
18echo '...with cn'
19eval $g_cmd_cn 1>rocket.cn 2>&1
20
21result=`diff rocket.cn rocket.save 2>/dev/null`
22if [ $? -eq 0 ]; then
23    if [ "$result" = "" ]; then
24       echo "   PASSED"
25       env keystore=`pwd` ABAC_CN=1 ./dump_db.py 1 > rockets.pl 2>/dev/null
26    else
27       echo "   ERROR:partial_proof_rt0 test result differs!!!"
28    fi
29else
30    echo "   ERROR:partial_proof_rt0 test result differs!!!"
31fi
32
Note: See TracBrowser for help on using the repository browser.