diff options
author | Rustan Leino <unknown> | 2016-03-01 16:24:26 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2016-03-01 16:24:26 -0800 |
commit | f48f5e1cef6482557d3f90677c5e41b75b2092b4 (patch) | |
tree | 0e21f7f7443b799c87c9295bbbd2bb8be3352ec4 /Test/dafny0/Fuel.dfy | |
parent | 2144154dc66b8d83792dd4395d3059c97d044e01 (diff) |
Added test case to go with the recent fix of Issue #49 (changeset f354709009a5).
Diffstat (limited to 'Test/dafny0/Fuel.dfy')
0 files changed, 0 insertions, 0 deletions