projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Halt execution at yield with -Y to simplify SAT formula
[satcheck.git]
/
common.mk
diff --git
a/common.mk
b/common.mk
index b91369fe113d94a94dc46317c450fd4b7ec2fa5c..763ccd04a2ef697b70df6aed891833cc40680d6e 100644
(file)
--- a/
common.mk
+++ b/
common.mk
@@
-8,6
+8,7
@@
UNAME := $(shell uname)
LIB_NAME := model
TSO_LIB_SO := libtso_$(LIB_NAME).so
SC_LIB_SO := libsc_$(LIB_NAME).so
+TEST_LIB_SO := sc_model
CPPFLAGS += -Wall -g -O3