Context Navigation

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
3	run_clean
4
5	echo '---running haystack fruit_prover 0 scaling'
6	run_one 0 1> log 2>/dev/null
7	result=`grep PASSED log 2>/dev/null`
8	if [ "$result" = "" ]; then
9	echo " ERROR"
10	else
11	echo " PASSED"
12	fi
13	rm -rf log
14
15
16	echo '---running haystack fruit_prover 10 scaling'
17	run_one 10 1> log 2>/dev/null
18	result=`grep PASSED log 2>/dev/null`
19	if [ "$result" = "" ]; then
20	echo " ERROR"
21	else
22	echo " PASSED"
23	fi
24	rm -rf log
25
26	echo '---running haystack fruit_prover 20 scaling'
27	run_one 20 1> log 2>/dev/null
28	result=`grep PASSED log 2>/dev/null`
29	if [ "$result" = "" ]; then
30	echo " ERROR"
31	else
32	echo " PASSED"
33	fi
34	rm -rf log
35
36	echo '---running haystack fruit_prover 30 scaling'
37	run_one 30 1> log 2>/dev/null
38	result=`grep PASSED log 2>/dev/null`
39	if [ "$result" = "" ]; then
40	echo " ERROR"
41	else
42	echo " PASSED"
43	fi
44	rm -rf log
45
46	echo '---running haystack fruit_prover 200 scaling'
47	run_one 200 1> log 2>/dev/null
48	result=`grep PASSED log 2>/dev/null`
49	if [ "$result" = "" ]; then
50	echo " ERROR"
51	else
52	echo " PASSED"
53	fi
54	rm -rf log
55

Note: See TracBrowser for help on using the repository browser.