This allows us to query z3 while typechecking in addition to afterwards.
This also makes it easier to use secverilog since we can package a particular z3 version with a particular secverilog version.
Note that generating an external z3 file is probably still useful if we're debugging and we should keep that feature.
This allows us to query z3 while typechecking in addition to afterwards. This also makes it easier to use secverilog since we can package a particular z3 version with a particular secverilog version.
Note that generating an external z3 file is probably still useful if we're debugging and we should keep that feature.