source: examples/creddy_prover_tests/runall @ 1621520

mei_rt2mei_rt2_fix_1
Last change on this file since 1621520 was d9c3886, checked in by Mei <mei@…>, 13 years ago

1) add 2 more query calls in abac.hh that take Role and Oset instead of

strings. Add supporting code in libabac that will take abac_aspect_t
and make query term directly instead of doing stringify the structure
and do string->yyparse->abac_aspect_t again.

2) start on inline doc into abac.hh
3) tweaked some scripts in examples directory

  • Property mode set to 100755
File size: 755 bytes
Line 
1#!/bin/sh
2
3# format,
4#   runall clean
5#   runall setup
6#   runall run
7
8progname=$(basename $0)
9pwd=`pwd`
10
11if [ $# -eq 0 ]; then
12    echo "Usage: $progname (clean|setup|run)" >&2;
13    exit 1
14fi
15
16ABAC_PROVER_PATH="/home/mei/Deter/abac/libabac"
17export ABAC_PROVER_PATH
18
19for i in `ls -1 `; do
20   if [ -d $i ]; then
21       cd $i
22       if [ "$1" = "clean" ]; then
23           rm -rf ../allout.sha ../allout.cn
24           printf "\n ==> CLEANING on %s\n" "$i" >& 2 ;
25           rm -rf *.der *.pem creds_dump
26       elif [ "$1" = "setup" ]; then
27           printf "\n ==> SETUP on %s\n" "$i"  >& 2;
28           ./README
29       elif [ "$1" = "run" ] ; then
30           printf "\n ==> RUN on %s\n" "$i" ;
31           ./run_query
32       fi 
33       cd $pwd
34   fi
35done
Note: See TracBrowser for help on using the repository browser.