source: tests/scaling_tests/haystack/ralphs_prover/run_one

Last change on this file was 831da18, checked in by Mei <mei@…>, 11 years ago

1) getting ready to for 0.1.6

  • Property mode set to 100755
File size: 807 bytes
Line 
1#!/usr/bin/env sh
2noise=$1
3
4if [ -z "$noise" ]; then
5    exit
6fi 
7
8echo "---running haystack ralphs_prover $noise scaling"
9
10rm -rf ralphs_$noise
11mkdir ralphs_$noise
12
13sed "s/#VAL#/$noise/" base/README > ralphs_$noise/README
14sed "s/#VAL#/$noise/" base/QUERY > ralphs_$noise/run_query
15
16cd ralphs_$noise
17
18chmod +x README run_query
19./README 1>/dev/null 2>&1
20env ABAC_CN=1 ./run_query 1>ralphs.tmp
21
22s=`grep -c "GOOD" ralphs.tmp 2>/dev/null`
23f=`grep -c "BAD" ralphs.tmp 2>/dev/null `
24
25if [ $s -ne 2 ] ; then
26    echo "BAD:scaling_tests/haystack/ralphs_prover:$noise:number of success is not right"
27    exit 1
28fi
29
30if [ $f -ne 0 ] ; then
31    echo "BAD:scaling_tests/haystack/ralphs_prover:$noise:there are unexpeced failure"
32    exit 1
33fi
34
35echo "GOOD:scaling_tests/haystack/ralphs_python:$noise:expected result"
36
37
38
Note: See TracBrowser for help on using the repository browser.