source: examples/example_scripts/runcheck @ 373bf68

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

1) add more tiny prover tests in examples/example_scripts
2) reverted the changes to ABAC_VERSION in libabac's abac_util.c

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