Package: dafny / 1.9.7-1

Metadata

Package Version Patches format
dafny 1.9.7-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
use_system_z3.diff | (download)

Source/Dafny/DafnyOptions.cs | 24 1 + 23 - 0 !
1 file changed, 1 insertion(+), 23 deletions(-)

 use system z3
 Dafny by default looks for its vendored Z3.  Modify it to look for the system
 Z3 installation instead.