logging: log inferred known vars (#27)

* chore: clean up indentation * logging: log inferred known vars
Veridise · Mar 13, 2024 · 4ca3296 · 4ca3296
1 parent d88a659
commit 4ca3296
Show file tree

Hide file tree

Showing 4 changed files with 294 additions and 288 deletions.
diff --git a/changelogs/unreleased/23-12-01-log-inferred.yaml b/changelogs/unreleased/23-12-01-log-inferred.yaml
@@ -0,0 +1,2 @@
+added:
+  - Added logging for inferred known signals
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		added:
		- Added logging for inferred known signals