mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
66c666bae2
make Florian's scripts work with current master Change-Id: Iecdd08060fbd8b305f84806638ab9e19031c7dee
22 lines
509 B
Makefile
22 lines
509 B
Makefile
CVC4=cvc4
|
|
ALTERGO=alt-ergo
|
|
|
|
FILES := $(shell find bench -name "*.smt2" -or -name "*.why")
|
|
BENCH := $(patsubst %.why,%.result,$(patsubst %.smt2,%.result,$(FILES)))
|
|
|
|
all: $(BENCH)
|
|
|
|
%.result: %.smt2
|
|
@echo "[CVC4] $*"
|
|
@-$(CVC4) --lang=smt2 \
|
|
--inst-when=full-last-call \
|
|
--user-pat=trust \
|
|
--tlimit=2000 $*.smt2 > $*.result
|
|
|
|
%.result: %.why
|
|
@echo "[ERGO] $*"
|
|
@-$(ALTERGO) -max-split 5 -timelimit 2 $*.why > $*.result || true
|
|
|
|
clean:
|
|
find bench -name "*.result" -delete
|