Skip to content

Commit 7f44ecb

Browse files
soraweesorawee
committed
logging: log inferred known vars (Veridise#27)
* chore: clean up indentation * logging: log inferred known vars
1 parent 981dc9d commit 7f44ecb

4 files changed

Lines changed: 294 additions & 288 deletions

File tree

‎changelogs/unreleased/23-12-01-log-inferred.yaml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
added:
2+
- Added logging for inferred known signals

0 commit comments

Comments
 (0)