Context Navigation

run_test @ d6439d4

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

Last change on this file since d6439d4 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: 416 bytes

Rev	Line
[4721618]	1	#!/bin/sh
	2
	3	make -s clean
	4
	5	echo '---running (c) attr script'
	6	make attr 1>/dev/null 2>& 1
	7	result=`grep "attr success" attr.log 2>/dev/null`
	8	if [ "$result" = "" ]; then
	9	echo " ERROR"
	10	else
	11	echo " PASSED"
	12	fi
	13
	14	echo '---running (c) prover script'
	15	make prove 1>/dev/null 2>& 1
	16	result=`grep "prover success" prover.log 2>/dev/null`
	17	if [ "$result" = "" ]; then
	18	echo " ERROR"
	19	else
	20	echo " PASSED"
	21	fi
	22

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