mei_rt2mei_rt2_fix_1
|
Last change
on this file since c6d5da3 was
08b8da7,
checked in by Mei <mei@…>, 12 years ago
|
|
1) rework examples directory with Makefile
2) update scaling with plotting scripts
3) add more doc in there
|
-
Property mode set to
100755
|
|
File size:
563 bytes
|
| Rev | Line | |
|---|
| [373bf68] | 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | |
|---|
| 4 | noise=$1 |
|---|
| 5 | |
|---|
| [08b8da7] | 6 | if [ -z "$noise" ]; then |
|---|
| 7 | exit |
|---|
| 8 | fi |
|---|
| 9 | |
|---|
| 10 | echo "---running haystack fruit_prover $noise scaling" |
|---|
| 11 | |
|---|
| [373bf68] | 12 | rm -rf fruit_$noise |
|---|
| 13 | mkdir fruit_$noise |
|---|
| [08b8da7] | 14 | |
|---|
| [373bf68] | 15 | sed "s/#VAL#/$noise/" base/README > fruit_$noise/README |
|---|
| [08b8da7] | 16 | sed "s/#VAL#/$noise/" base/QUERY > fruit_$noise/run_query |
|---|
| [373bf68] | 17 | cp base/RESULT fruit_$noise/fruit.save |
|---|
| 18 | cd fruit_$noise |
|---|
| 19 | chmod +x README run_query |
|---|
| [08b8da7] | 20 | ./README 1>/dev/null 2>&1 |
|---|
| [373bf68] | 21 | time env ABAC_CN=1 ./run_query 1>fruit.tmp 2> fruit.time |
|---|
| 22 | result=`diff fruit.tmp fruit.save 2>/dev/null` |
|---|
| 23 | if [ "$result" = "" ]; then |
|---|
| 24 | echo " PASSED" |
|---|
| 25 | else |
|---|
| 26 | echo " ERROR" |
|---|
| 27 | fi |
|---|
| 28 | |
|---|
| 29 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
