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

Rev	Line
[373bf68]	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.