From 4c4ad93bfa63f999642f608a8752c719801b6b3d Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Wed, 1 May 2024 08:27:21 -0400
Subject: [PATCH] netlist output now includes AIG constraints

The output of --show-netlist now includes the AIG constraints.
---
 src/trans-netlist/netlist.cpp | 19 +++++++++++++++----
 1 file changed, 15 insertions(+), 4 deletions(-)

diff --git a/src/trans-netlist/netlist.cpp b/src/trans-netlist/netlist.cpp
index 3143155a4..9f99bea06 100644
--- a/src/trans-netlist/netlist.cpp
+++ b/src/trans-netlist/netlist.cpp
@@ -56,21 +56,32 @@ void netlistt::print(std::ostream &out) const
 
   out << "Initial state: " << '\n';
 
-  for(unsigned i=0; i<initial.size(); i++)
+  for(auto &c : initial)
   {
     out << "  ";
-    print(out, initial[i]);
+    print(out, c);
     out << '\n';
   }
 
   out << '\n';
 
+  out << "State invariant constraints: " << '\n';
+
+  for(auto &c : constraints)
+  {
+    out << "  ";
+    print(out, c);
+    out << '\n';
+  }
+
+  out << '\n' << std::flush;
+
   out << "Transition constraints: " << '\n';
 
-  for(unsigned i=0; i<transition.size(); i++)
+  for(auto &c : transition)
   {
     out << "  ";
-    print(out, transition[i]);
+    print(out, c);
     out << '\n';
   }