projects / cvc5.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
String parsing example in CVC parser
[cvc5.git] / test / Makefile
1 topdir = ..
2 srcdir = test
3
4 include $(topdir)/Makefile.subdir
5
6 # synonyms for "check"
7 .PHONY: test
8 test: check