source: examples/python_tests/payraise_rt1/run_test @ b1d4721

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

1) add more python examples
2) add the missing linking role and linking oset api calls
3) fix the output of time typed data term/oset obj in typed_string format

(transform back from yap time format to our ddddddddTdddddd format

  • Property mode set to 100755
File size: 775 bytes
Line 
1#!/bin/sh
2
3ABAC_PROVER_PATH="/home/mei/Deter/abac/libabac"
4export ABAC_PROVER_PATH
5
6
7rm -rf *der *pem
8
9echo '---setup principals'
10env keystore=`pwd` ./setup.py 1>/dev/null 2>& 1
11
12echo '---setup attributes'
13env keystore=`pwd` ./attr.py 1>/dev/null 2>& 1
14
15echo '---run queries'
16
17# Make prover queries
18g_cmd_sha=`grep "cmd1:" query.py |sed "s/cmd1://g" `
19g_cmd_cn=`grep "cmd2:" query.py |sed "s/cmd2://g" `
20
21echo '...with sha'
22eval $g_cmd_sha 2>/dev/null 1 > pay.sha
23
24echo '...with cn'
25eval $g_cmd_cn 1>pay.cn 2>&1
26
27result=`diff pay.cn pay.save 2>/dev/null`
28if [ $? -eq 0 ]; then
29    if [ "$result" = "" ]; then
30       echo "   PASSED"
31    else
32       echo "   ERROR:payraise_rt1 test result differs!!!"
33    fi
34else
35    echo "   ERROR:payraise_rt1 test result differs!!!"
36fi
37
38
Note: See TracBrowser for help on using the repository browser.