source: examples/creddy_prover_tests/runcheck @ 2c03e57

mei_rt2mei_rt2_fix_1
Last change on this file since 2c03e57 was 43478b1, checked in by Mei <mei@…>, 12 years ago

1) some tweaks

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