source: examples/creddy_prover_tests/runall @ 5110d42

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

1) reorganized the test directory to include python tests
2) attribute via api and principal via api from python scripts is

working (although there is a annoying seg fault at the very end
that must be related to something not been dup()ed.. need to wait
for c example to debug it)

3) able to query via api
4) replicated access_rt2 example in python and the query result matches
5) expanded api to make it easier to generate rt2 structure

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