source: examples/scaling_tests/haystack/fruit_prover/run_test @ 880e924

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

1) add the scaling test suite

  • Property mode set to 100755
File size: 1.0 KB
Line 
1#!/bin/sh
2
3run_clean
4
5echo '---running haystack fruit_prover 0 scaling'
6run_one 0  1> log 2>/dev/null
7result=`grep PASSED log 2>/dev/null`
8if [ "$result" = "" ]; then
9   echo "   ERROR"
10else   
11   echo "   PASSED"
12fi
13rm -rf log
14
15
16echo '---running haystack fruit_prover 10 scaling'
17run_one 10  1> log 2>/dev/null
18result=`grep PASSED log 2>/dev/null`
19if [ "$result" = "" ]; then
20   echo "   ERROR"
21else   
22   echo "   PASSED"
23fi
24rm -rf log
25
26echo '---running haystack fruit_prover 20 scaling'
27run_one 20  1> log 2>/dev/null
28result=`grep PASSED log 2>/dev/null`
29if [ "$result" = "" ]; then
30   echo "   ERROR"
31else   
32   echo "   PASSED"
33fi
34rm -rf log
35
36echo '---running haystack fruit_prover 30 scaling'
37run_one 30  1> log 2>/dev/null
38result=`grep PASSED log 2>/dev/null`
39if [ "$result" = "" ]; then
40   echo "   ERROR"
41else   
42   echo "   PASSED"
43fi
44rm -rf log
45
46echo '---running haystack fruit_prover 200 scaling'
47run_one 200  1> log 2>/dev/null
48result=`grep PASSED log 2>/dev/null`
49if [ "$result" = "" ]; then
50   echo "   ERROR"
51else   
52   echo "   PASSED"
53fi
54rm -rf log
55
Note: See TracBrowser for help on using the repository browser.