source: examples/scaling_tests/haystack/fruit_prover/run_one @ 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: 429 bytes
RevLine 
[373bf68]1#!/bin/sh
2
3
4noise=$1
5
6rm -rf fruit_$noise
7mkdir fruit_$noise
8sed "s/#VAL#/$noise/" base/README > fruit_$noise/README
9cp base/RESULT fruit_$noise/fruit.save
10cp base/QUERY fruit_$noise/run_query
11cd fruit_$noise
12chmod +x README run_query
13./README
14time env ABAC_CN=1 ./run_query 1>fruit.tmp 2> fruit.time
15result=`diff fruit.tmp fruit.save 2>/dev/null`
16if [ "$result" = "" ]; then
17   echo "   PASSED"
18else   
19   echo "   ERROR"
20fi
21
22
Note: See TracBrowser for help on using the repository browser.