Skip to content

Does boogie have "memory function"? #473

Closed Answered by shazqadeer
Luweicai asked this question in Q&A
Discussion options

You must be logged in to vote

I don't know what you mean by "memory function". If you mean that the previously-computed results are cached on disk, Boogie does not do anything like that.

Replies: 1 comment

Comment options

You must be logged in to vote
0 replies
Answer selected by Luweicai
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
2 participants