diff options
| author |  rustanleino <unknown> | 2009-10-14 22:42:49 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-10-14 22:42:49 +0000 |
| commit | 1f63aa9d54161eaeba72c339c649a7db96bca006 (patch) | |
| tree | 57a2fca64d862e4037be2e84423b0531ab60b6d7 /Chalice/examples/producer-consumer.chalice | |
| parent | d2baa552e457e5b3cf7654f3836da5c96ad1c987 (diff) | |
Changed how Boogie looks for Z3: first look in the directory where Boogie is being executed from, then look in "c:\Program Files\Microsoft Research\Z3-2.x\bin" for x := 5,4,3,2,1,0.
This fixes Issue Tracker item 5446.
Diffstat (limited to 'Chalice/examples/producer-consumer.chalice')
0 files changed, 0 insertions, 0 deletions