source: examples/python_tests/runall @ b1d4721

mei_rt2mei_rt2_fix_1
Last change on this file since b1d4721 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: 611 bytes
RevLine 
[f0eb81d]1#!/bin/sh
2
3# format,
4#   runall clean
[9335cfa]5#   runall run
[f0eb81d]6
7progname=$(basename $0)
[d9c3886]8pwd=`pwd`
[f0eb81d]9
10if [ $# -eq 0 ]; then
[d9c3886]11    echo "Usage: $progname (clean|run)" >&2;
[f0eb81d]12    exit 1
13fi
[c469edf]14
[5110d42]15ABAC_PROVER_PATH="/home/mei/Deter/abac/libabac"
16export ABAC_PROVER_PATH
17
[c469edf]18for i in `ls -1 `; do
[d9c3886]19   if [ -d $i ]; then
20       cd $i
[f0eb81d]21       if [ "$1" = "clean" ]; then
[5110d42]22           rm -rf ../allout.tmp
[f0eb81d]23           printf "\n ==> CLEANING on %s\n" "$i" >& 2 ;
[5110d42]24           rm -rf *.der *.pem *.cn *.sha
[f0eb81d]25       elif [ "$1" = "run" ] ; then
[d9c3886]26           printf "\n ==> RUN on %s\n" "$i" >& 2;
27           ./run_test
[f0eb81d]28       fi 
[d9c3886]29       cd $pwd
[c469edf]30   fi
31done
Note: See TracBrowser for help on using the repository browser.