test(nra): add tests for --ncbt

dreal · Jun 3, 2015 · ab08be3 · ab08be3
1 parent d704109
commit ab08be3
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/tests/nra/CMakeLists.txt b/src/tests/nra/CMakeLists.txt
@@ -33,3 +33,11 @@ FOREACH(instance ${NRA_INSTANCES})
            ${DREAL_BINARY} ${instance} "--short_sat")
   set_tests_properties("regression_nra_short_sat_${instance_name}" PROPERTIES LABELS "nra_short_sat")
 ENDFOREACH(instance)
+
+FOREACH(instance ${NRA_INSTANCES})
+  GET_FILENAME_COMPONENT(instance_name ${instance} NAME)
+  add_test(NAME "regression_nra_ncbt_${instance_name}"
+           COMMAND "${DREAL_SOURCE_DIR}/tests/nra/test.sh"
+           ${DREAL_BINARY} ${instance} "--ncbt")
+  set_tests_properties("regression_nra_ncbt_${instance_name}" PROPERTIES LABELS "nra_ncbt")
+ENDFOREACH(instance)