From fcd2bc605cc4698e0d93cfe7a066b060d7bff6df Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 May 2020 19:17:36 -0700 Subject: [PATCH] try to make template parsing work Signed-off-by: Nikolaj Bjorner --- scripts/test-examples-cmake.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/test-examples-cmake.yml b/scripts/test-examples-cmake.yml index 3f8a466b3..97c35e3e4 100644 --- a/scripts/test-examples-cmake.yml +++ b/scripts/test-examples-cmake.yml @@ -9,5 +9,7 @@ steps: examples/c_example_build_dir/c_example examples/cpp_example_build_dir/cpp_example examples/tptp_build_dir/z3_tptp5 -help -# examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt cd .. + + +# examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt