source: tests/creddy_prover_tests/Makefile.am @ 831da18

#
# creddy_prover_tests
#

include  ../abac.mk

EXPECTED_OKAY=14

DIRECTORY=acme_rockets_intersection_rt0 acme_rockets_rt0 \
          experiment_create_rt0 ice_cream_rt0

.PHONY: clean clean-local runcheck
all: runcheck

runcheck:
        @echo 'running libabac CREDDY_PROVER testing...' | tee result
        @touch error
        @for i in $(DIRECTORY); do \
          here=`pwd`; \
          cd $$i; \
          printf "\n ==> RUN on %s\n" "$$i" >> $$here/result ; \
          $(MY_ENV) ./README 1>/dev/null 2>&1; \
          $(MY_ENV) ./run_query |tee -a $$here/result |grep BAD >> $$here/error; \
          cd $$here; \
        done
        @if test -f error ; \
          then \
            (if test `cat error | wc -l ` -eq 0 ; \
              then \
                (if test `grep GOOD result | wc -l ` -eq $(EXPECTED_OKAY) ; \
                  then echo "   PASSED!!!"; \
                  else echo "   ERROR, no error but not enough good results!!!"; \
                fi); \
              else (echo "   ERROR!!!"; cat error;); \
            fi); \
          else echo "   PASSED"; \
        fi

clean:
        @for i in $(DIRECTORY); do \
          here=`pwd`; \
          cd $$i; \
          rm -rf *.pem *.xml; \
          cd $$here; \
        done
        @rm -rf result error

clean-local: 
        @rm -rf result error