diff --git a/src/test/cnf_backbones.cpp b/src/test/cnf_backbones.cpp
index 50584c90c..10f3e56a7 100644
--- a/src/test/cnf_backbones.cpp
+++ b/src/test/cnf_backbones.cpp
@@ -238,10 +238,10 @@ static void cnf_backbones(bool use_chunk, char const* file_name) {
             std::cerr << "(error \"failed to open file '" << file_name << "'\")" << std::endl;
             exit(ERR_OPEN_FILE);
         }
-        parse_dimacs(in, solver);
+        if (!parse_dimacs(in, std::cerr, solver)) return;
     }
     else {
-        parse_dimacs(std::cin, solver);
+        if (!parse_dimacs(std::cin, std::cerr, solver)) return;
     }
     IF_VERBOSE(20, solver.display_status(verbose_stream()););
     
diff --git a/src/test/sat_lookahead.cpp b/src/test/sat_lookahead.cpp
index fccbe8eed..23c4a4738 100644
--- a/src/test/sat_lookahead.cpp
+++ b/src/test/sat_lookahead.cpp
@@ -34,7 +34,8 @@ void tst_sat_lookahead(char ** argv, int argc, int& i) {
             std::cerr << "(error \"failed to open file '" << file_name << "'\")" << std::endl;
             exit(ERR_OPEN_FILE);
         }
-        parse_dimacs(in, solver);
+        if (!parse_dimacs(in, std::cerr, solver))
+            return;
     }
    
     sat::lookahead lh(solver);