source: examples/scaling_tests/daisychain/likes_python/run_test @ 8798f04

mei_rt2mei_rt2_fix_1
Last change on this file since 8798f04 was 2485307, checked in by Mei <mei@…>, 12 years ago

1) wrap up the changes on proof buffer's process in abac_pl_yap.c
2) update some doc
3) wrap up the scaling tests(big daisy chains)

  • Property mode set to 100755
File size: 1.3 KB
Line 
1#!/bin/sh
2
3run_clean
4
5echo '---running daisychain likes_python 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 daisychain likes_python 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 daisychain likes_python 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 daisychain likes_python 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 daisychain likes_python 100 scaling'
47run_one 100  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
56echo '---running daisychain likes_python 200 scaling'
57run_one 200  1> log 2>/dev/null
58result=`grep PASSED log 2>/dev/null`
59if [ "$result" = "" ]; then
60   echo "   ERROR"
61else   
62   echo "   PASSED"
63fi
64rm -rf log
65
Note: See TracBrowser for help on using the repository browser.