Context Navigation

run_test @ be6cb41

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml

Last change on this file since be6cb41 was 4721618, checked in by Mei <mei@…>, 12 years ago

1) tested out python and perl test scripts along with

abac_chunk_t calls in libabac's abac.hh

File size: 804 bytes

Line
1	#!/bin/sh
2
3	make -s clean
4
5	echo '---running (perl) id script'
6	make -s run 1>/dev/null 2>&1
7	result=`grep OKAY id.log 2>/dev/null`
8	if [ "$result" = "" ]; then
9	echo " ERROR"
10	else
11	echo " PASSED"
12	fi
13
14	echo '---running (perl) id2 script, expected failure'
15	make -s bad 1>/dev/null 2>&1
16	result=`grep "Aborted" id2.log 2>/dev/null`
17	if [ "$result" = "" ]; then
18	echo " ERROR"
19	else
20	echo " PASSED"
21	fi
22
23	echo '---running (perl) attr script'
24	make -s attr 1>/dev/null 2>&1
25	result=`grep "chocolate" attr.log 2>/dev/null`
26	if [ "$result" = "" ]; then
27	echo " ERROR"
28	else
29	echo " PASSED"
30	fi
31
32
33	echo '---running (perl) prover script'
34	make -s prove 1>/dev/null 2>&1
35	result=`grep "Success" prover.log 2>/dev/null`
36	if [ "$result" = "" ]; then
37	echo " ERROR"
38	else
39	echo " PASSED"
40	fi

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