source: examples/python_tests/acme_multi_rt0/run_test @ 646e57e

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

1) add partial proof

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