diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-07-22 15:42:33 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-07-22 15:42:33 -0600 |
| commit | ce9d174eba6a4efd321e78fed4a6e00aab1fda2c (patch) | |
| tree | 06b4f3239b76b252fc4de1b43428689199a8d0db /Test/test2/Implies.bpl | |
| parent | 07c34b257ba84db8ec26cba283aae74f87087181 (diff) | |
fixed the syntax on former tests and added two fp constant translation tests
Diffstat (limited to 'Test/test2/Implies.bpl')
0 files changed, 0 insertions, 0 deletions