source: examples/python_tests/acme_rockets_intersection_rt0/run_test @ 9b43fc3

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

1) add more doc to python_tests

  • Property mode set to 100755
File size: 745 bytes
RevLine 
[7211a95]1#!/bin/sh
2
3echo '---setup principals'
4env keystore=`pwd` ./setup.py 1>/dev/null 2>& 1
5
6echo '---setup attributes'
[669b481]7env keystore=`pwd` ./attr.py 1>intersect.log 2>& 1
[7211a95]8
9echo '---run queries'
10
11# Make prover 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 > intersect.sha
17
18echo '...with cn'
19eval $g_cmd_cn 1>intersect.cn 2>&1
20
21result=`diff intersect.cn intersect.save 2>/dev/null`
22if [ $? -eq 0 ]; then
23    if [ "$result" = "" ]; then
24       echo "   PASSED"
25    else
26       echo "   ERROR:acme_rockets_intersection_rt0 test result differs!!!"
27    fi
28else
29    echo "   ERROR:acme_rockets_intersection_rt0 test result differs!!!"
30fi
31
32
Note: See TracBrowser for help on using the repository browser.