+.PHONY: install uninstall clean test
+
+INTESTS := $(wildcard tests/*.cic)
+OUTTESTS := $(patsubst %, %.test, $(INTESTS))
+gentest: $(OUTTESTS)
+cleantest:
+ rm -f $(OUTTESTS)
+tests/%.cic.test: tests/%.cic regtest
+ time ./regtest -gen $<
+test:
+ ./regtest $(INTESTS) 2> /dev/null
+envtest:
+ ./regtest -dump $(INTESTS) 2> /dev/null