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
-
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