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