From fd5918c811c701e82ba56d1040cd2acf327193f4 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Sat, 17 May 2025 14:10:23 -0700
Subject: [PATCH] get_field_names for structs

---
 backends/functional/smtlib_rosette.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
index c9e737d19..786f7b176 100644
--- a/backends/functional/smtlib_rosette.cc
+++ b/backends/functional/smtlib_rosette.cc
@@ -114,6 +114,13 @@ public:
 		size_t i = field_names.at(name);
 		return list(fields[i].accessor, std::move(record));
 	}
+	std::vector<std::string> get_field_names()
+	{
+		std::vector<std::string> names;
+		for (auto field : fields)
+			names.push_back(field.name);
+		return names;
+	}
 };
 
 std::string smt_const(RTLIL::Const const &c) {