source: examples/python_tests/partial_proof_rt1/run_test @ c3c73bd

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

1) example for partial proof

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