Closed Samrose-Ahmed closed 1 year ago
This method shouldn't be private, it is useful to be able to access full result for custom usecases. Happy to make PR, currently have to fork.
https://github.com/nooberfsh/prusto/blob/master/src/client.rs#L426
It makes sense, PR are welcomed.
This method shouldn't be private, it is useful to be able to access full result for custom usecases. Happy to make PR, currently have to fork.
https://github.com/nooberfsh/prusto/blob/master/src/client.rs#L426