Skip to content
GitLab
Unverified Commit ecd6d7a6 authored by Kevin Laeufer's avatar Kevin Laeufer Committed by GitHub
Browse files

smt: include firrtl statement names in SMT and btor2 output (#2270) 

* smt: include firrtl statement names in SMT and btor2 output

* smt: remove println

* smt: make tests run again and fix stale ones

Apparently `private` classes aren't found by th sbt test runner.
parent c7eaa67d
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment