source: examples/example_scripts/perl/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@…>, 11 years ago

1) tested out python and perl test scripts along with

abac_chunk_t calls in libabac's abac.hh

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