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
RevLine 
[5110d42]1#!/bin/sh
2
3rm -rf allout.cn allout.sha
4
[ba6027a]5./.runall clean 1 >/dev/null 2>&1
6./.runall setup 1 >/dev/null 2>&1
[e3462b4]7
[43478b1]8ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
[5110d42]9export ABAC_PROVER_PATH
10
[e3462b4]11echo '\n'
[d9c3886]12echo 'running libabac CREDDY/ABAC_PROVER_YAP testing...'
[5110d42]13echo '  ---with sha'
[e3462b4]14env ./.runall run 1> allout.sha 2>/dev/null
[5110d42]15echo '  ---with cn'
[e3462b4]16env ABAC_CN=1 ./.runall run 1> allout.cn 2>/dev/null
[5110d42]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.