X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=common.mk;h=763ccd04a2ef697b70df6aed891833cc40680d6e;hb=9acc51b844da6a7ae2d3dc65e1d09273e1248722;hp=b91369fe113d94a94dc46317c450fd4b7ec2fa5c;hpb=fdc038715881f395ddbac1625160236f8db2c1d7;p=satcheck.git

diff --git a/common.mk b/common.mk
index b91369f..763ccd0 100644
--- 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