Z3 Log parsing #971
pieter-bos
started this conversation in
General
Z3 Log parsing
#971
Replies: 1 comment
-
|
Attempt at implementing this in VerCors here: https://github.com/utwente-fmt/vercors/tree/archive-z3-progress |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
It would be nice if we finish our z3 log parser experiments into a usable state.
Beta Was this translation helpful? Give feedback.
All reactions