add decision_attributes.h for make dist

diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am
index b3760b239033559b573837120a1f858c39a3d9ef..bd7b881e1ac0266ca187d4f06fa50a692f7dde1a 100644 (file)
--- a/src/theory/Makefile.am
+++ b/src/theory/Makefile.am
@@ -9,6 +9,7 @@ DIST_SUBDIRS = $(SUBDIRS) example
 noinst_LTLIBRARIES = libtheory.la
 
 libtheory_la_SOURCES = \
+       decision_attributes.h \
        logic_info.h \
        logic_info.cpp \
        output_channel.h \

diff --git a/test/regress/run_regression b/test/regress/run_regression
index 475cce4310b2a02f476b34eaf13eb69c2d53e042..084df6ac9eb5558e09ef74d293ca7c55e4f9bd5d 100755 (executable)
--- a/test/regress/run_regression
+++ b/test/regress/run_regression
@@ -10,6 +10,8 @@
 # Runs benchmark and checks for correct exit status and output.
 #
 
+# ulimit -t 1    # For detecting long running regressions
+
 prog=`basename "$0"`
 
 if [ $# -lt 2 ]; then