CodePlexProject Hosting for Open Source Software
Yes, it is. Boogie /help gives some description of how to use it.
Thanks, it worked. It reduced the maximum verification time quite a bit, but did not have much affect on the average in my set of samples.
This is expected. There is more Z3 invocations, so randomness in each averages out.
Back in Z3 1.x days it used to speed up the proving process, but the current Z3 version seems to keep the context tidy and needs not “manual cleaning up”.
Are you sure you want to delete this post? You will not be able to recover it later.
Are you sure you want to delete this thread? You will not be able to recover it later.