adding signal handler to maraboupy makefile (#37)

* adding signal handler to maraboupy makefile - addded signal handler to maraboupy makefile - returned PREPROCESSOR_PL_CONSTRAINTS_ADD_AUX_EQUATIONS default value to true (it used to be true and it otherwise slows down runtime of tf and nnet queries that now delegate this functionality to marabou core) * leave PREPROCESSOR_PL_CONSTRAINTS_ADD_AUX_EQUATIONS flags untoched
NeuralNetworkVerification · May 15, 2018 · 420e712 · 420e712
1 parent 1288c55
commit 420e712
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/maraboupy/Makefile b/maraboupy/Makefile
@@ -65,6 +65,7 @@ SOURCES += \
 	TableauFactory.cpp \
 	TableauRow.cpp \
 	TableauState.cpp \
+	SignalHandler.cpp \
 	\