source: examples/python_tests/runcheck @ 5d06689

mei_rt2mei_rt2_fix_1
Last change on this file since 5d06689 was d9c3886, checked in by Mei <mei@…>, 12 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: 312 bytes
Line 
1#!/bin/sh
2
3rm -rf allout.tmp
4
5ABAC_PROVER_PATH="/home/mei/Deter/abac/libabac"
6export ABAC_PROVER_PATH
7
8echo 'running libabac PYTHON testing...'
9
10env ./runall run 1> allout.tmp 2>& 1
11
12result=`diff allout.tmp allout.save`
13
14if [ "$result" = "" ]; then
15   echo "   PASSED"
16else
17   echo "   ERROR:got changes!!!"
18fi
Note: See TracBrowser for help on using the repository browser.