source: examples/creddy_prover_tests/runcheck @ 4b46680

mei_rt2mei_rt2_fix_1
Last change on this file since 4b46680 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
RevLine 
[5110d42]1#!/bin/sh
2
3rm -rf allout.cn allout.sha
4
[e3462b4]5./.runall clean
6./.runall setup
7
[f824a9e]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
[5110d42]14export ABAC_PROVER_PATH
15
[e3462b4]16echo '\n'
[d9c3886]17echo 'running libabac CREDDY/ABAC_PROVER_YAP testing...'
[5110d42]18echo '  ---with sha'
[e3462b4]19env ./.runall run 1> allout.sha 2>/dev/null
[5110d42]20echo '  ---with cn'
[e3462b4]21env ABAC_CN=1 ./.runall run 1> allout.cn 2>/dev/null
[5110d42]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.