source: tests/creddy_prover_tests/Makefile.am @ 3f21704

abac0-leak
Last change on this file since 3f21704 was 831da18, checked in by Mei <mei@…>, 11 years ago

1) getting ready to for 0.1.6

  • Property mode set to 100644
File size: 1.2 KB
RevLine 
[3c30b59]1#
2# creddy_prover_tests
3#
[2d56f83]4
[831da18]5include  ../abac.mk
[2d56f83]6
7EXPECTED_OKAY=14
[3c30b59]8
9DIRECTORY=acme_rockets_intersection_rt0 acme_rockets_rt0 \
10          experiment_create_rt0 ice_cream_rt0
11
[2d56f83]12.PHONY: clean clean-local runcheck
[3c30b59]13all: runcheck
14
[2d56f83]15runcheck:
[3c30b59]16        @echo 'running libabac CREDDY_PROVER testing...' | tee result
17        @touch error
18        @for i in $(DIRECTORY); do \
19          here=`pwd`; \
20          cd $$i; \
21          printf "\n ==> RUN on %s\n" "$$i" >> $$here/result ; \
22          $(MY_ENV) ./README 1>/dev/null 2>&1; \
23          $(MY_ENV) ./run_query |tee -a $$here/result |grep BAD >> $$here/error; \
24          cd $$here; \
25        done
26        @if test -f error ; \
[2d56f83]27          then \
28            (if test `cat error | wc -l ` -eq 0 ; \
29              then \
30                (if test `grep GOOD result | wc -l ` -eq $(EXPECTED_OKAY) ; \
31                  then echo "   PASSED!!!"; \
32                  else echo "   ERROR, no error but not enough good results!!!"; \
33                fi); \
34              else (echo "   ERROR!!!"; cat error;); \
35            fi); \
36          else echo "   PASSED"; \
37        fi
[3c30b59]38
[2d56f83]39clean:
[3c30b59]40        @for i in $(DIRECTORY); do \
41          here=`pwd`; \
42          cd $$i; \
43          rm -rf *.pem *.xml; \
44          cd $$here; \
45        done
46        @rm -rf result error
47
48clean-local:
49        @rm -rf result error
Note: See TracBrowser for help on using the repository browser.