source: examples/python_tests/acme_multi_rt0/run_test @ dfe6b61

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

1) add backtrack/multiple solutions proof code changes and new

examples.

  • Property mode set to 100755
File size: 695 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>multi.log 2>& 1
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 > multi.sha
17
18echo '...with cn'
19eval $g_cmd_cn 1>multi.cn 2>&1
20
21result=`diff multi.cn multi.save 2>/dev/null`
22if [ $? -eq 0 ]; then
23    if [ "$result" = "" ]; then
24       echo "   PASSED"
25    else
26       echo "   ERROR:acme_multi_rt0 test result differs!!!"
27    fi
28else
29    echo "   ERROR:acme_multi_rt0 test result differs!!!"
30fi
31
32
Note: See TracBrowser for help on using the repository browser.