all: klee

clean:
	rm -f drawSquare.bc drawSquare

klee: drawSquare.bc drawSquare
	klee drawSquare.bc
	for ktest in klee-last/*.ktest; do \
		KTEST_FILE="$$ktest" ./drawSquare || true; \
	done

drawSquare.bc: drawSquare.c
	clang -emit-llvm -c -g -o $@ $(CFLAGS) $^

drawSquare: drawSquare.c
	clang -Os -lkleeRuntest -o $@ $(CFLAGS) $^

.PHONY: all clean klee
