source: examples/scaling_tests/runcheck @ 519e487

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

1) add the scaling test suite

  • Property mode set to 100755
File size: 382 bytes
RevLine 
[373bf68]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 SCALING 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.