source: examples/creddy_prover_tests/runcheck @ 888df49

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

1) make regression test to use just runcheck (hide runall)
2) alter the absolute path in the error message so the regression testing

would not be so user dependent when doing validation

3) add the missing null setting in abac_verifier's issuer_id line 335

  • Property mode set to 100755
File size: 648 bytes
Line 
1#!/bin/sh
2
3rm -rf allout.cn allout.sha
4
5./.runall clean
6./.runall setup
7
8UID=`id | sed -e 's/ .*//' | sed -e 's/.*(//' | sed -e 's/)//'`
9if [ $UID = "mei" ]; then
10    ABAC_PROVER_PATH="../../../libabac"
11    else
12    ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
13fi
14export ABAC_PROVER_PATH
15
16echo '\n'
17echo 'running libabac CREDDY/ABAC_PROVER_YAP testing...'
18echo '  ---with sha'
19env ./.runall run 1> allout.sha 2>/dev/null
20echo '  ---with cn'
21env ABAC_CN=1 ./.runall run 1> allout.cn 2>/dev/null
22result=`diff allout.cn allout.save`
23
24if [ "$result" = "" ]; then
25   echo "   PASSED"
26else
27   echo "   ERROR:got changes!!!"
28fi
Note: See TracBrowser for help on using the repository browser.