mei_rt2mei_rt2_fix_1
Last change
on this file since 6f383ee was
abf8d5d,
checked in by Mei <mei@…>, 12 years ago
|
1) add backtrack/multiple solutions proof code changes and new
examples.
|
-
Property mode set to
100644
|
File size:
1.1 KB
|
Rev | Line | |
---|
[08b8da7] | 1 | |
---|
[abf8d5d] | 2 | DIRECTORY=access_rt2 acme_friend_rt1 acme_rockets_intersection_rt0 acme_rockets_rt0 alice_rt1 alumni2_rt1 alumni3_rt1 alumni_rt1 balltime_rt2 evaluator_rt1 experiment_create_rt0 file_read_rt2 fruits_rt2 leader_rt1 payraise_rt1 acme_multi_rt0 |
---|
[08b8da7] | 3 | |
---|
| 4 | .PHONY : setup runcheck clean |
---|
[94a4dd2] | 5 | runcheck: $(DIRECTORY) |
---|
[08b8da7] | 6 | |
---|
| 7 | clean: |
---|
| 8 | @for i in $(DIRECTORY); do \ |
---|
| 9 | here=`pwd`; \ |
---|
| 10 | printf "\n ==> CLEANING on %s\n" "$$i"; \ |
---|
| 11 | cd $$i; \ |
---|
| 12 | rm -rf *.der *.pem *.cn *.sha *.log creds_dump; \ |
---|
| 13 | cd $$here; \ |
---|
| 14 | done |
---|
| 15 | @rm -rf allout.cn allout.sha |
---|
| 16 | |
---|
| 17 | setup: |
---|
| 18 | @for i in $(DIRECTORY); do \ |
---|
| 19 | here=`pwd`; \ |
---|
| 20 | cd $$i; \ |
---|
| 21 | ./README 1 >/dev/null 2>&1; \ |
---|
| 22 | cd $$here; \ |
---|
| 23 | done |
---|
| 24 | |
---|
| 25 | runcheck: |
---|
| 26 | @echo 'running libabac CREDDY/ABAC_PROVER_YAP testing...' |
---|
| 27 | @make setup |
---|
| 28 | @for i in $(DIRECTORY); do \ |
---|
| 29 | here=`pwd`; \ |
---|
| 30 | cd $$i; \ |
---|
[94a4dd2] | 31 | printf "\n ==> RUN on %s\n" "$$i" >> ../allout.sha; \ |
---|
[08b8da7] | 32 | ./run_query >> ../allout.sha 2>/dev/null; \ |
---|
| 33 | printf "\n ==> RUN on %s\n" "$$i" >> ../allout.cn; \ |
---|
| 34 | env ABAC_CN=1 ./run_query >> ../allout.cn 2>/dev/null; \ |
---|
| 35 | cd $$here; \ |
---|
| 36 | done |
---|
[2b4e740] | 37 | @if test -f allout.cn && test `diff -q allout.save allout.cn |wc -l ` -eq 0 ; \ |
---|
[08b8da7] | 38 | then echo " PASSED"; \ |
---|
| 39 | else echo " ERROR:got changes!!!"; \ |
---|
| 40 | fi |
---|
| 41 | |
---|
Note: See
TracBrowser
for help on using the repository browser.