diff options
author | 2015-09-09 07:02:54 -0400 | |
---|---|---|
committer | 2015-09-09 07:02:54 -0400 | |
commit | ca96e3974019ca956f46c91eb07b2c2dfede1d29 (patch) | |
tree | 1cf35270aa550ae97f2292f7b28278673a6c710d /Test/dafny1/FindZero.dfy | |
parent | 510623d57984f81105c621c898c60c79d3a32c0f (diff) |
Fix #90
The mono wrapper for Dafny didn't forward command line arguments.
Diffstat (limited to 'Test/dafny1/FindZero.dfy')
0 files changed, 0 insertions, 0 deletions