CIVL=civl
VERIFY=$(CIVL) verify

all: fib_bench_false

fib_bench_false: fib_bench_false.cvl
	$(VERIFY) fib_bench_false.cvl -inputNUM=5