print terminals for debug

qinheping · Oct 21, 2023 · 62e31b0 · 62e31b0
1 parent 95f3ba3
commit 62e31b0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/goto-synthesizer/enumerative_loop_contracts_synthesizer.cpp b/src/goto-synthesizer/enumerative_loop_contracts_synthesizer.cpp
@@ -60,6 +60,7 @@ std::vector<exprt> construct_terminals(const std::set<symbol_exprt> &symbols)
   std::vector<exprt> result;
   for(const auto &e : symbols)
   {
+    std::cout << format(e) << " ID: " << e.type().id() << "\n";
     if(e.type().id() == ID_unsignedbv)
     {
       // For a variable v with primitive type, we add