diff options
| author | Magnus Ahltorp <map@kth.se> | 2015-02-19 16:23:25 +0100 |
|---|---|---|
| committer | Magnus Ahltorp <map@kth.se> | 2015-02-19 16:23:25 +0100 |
| commit | 16d405f4d696c3d01785b644678261acb0e9ad3a (patch) | |
| tree | 68a427e953c270766b2c4a510d81b7f13abe4222 /tools/testcase1.py | |
| parent | 6e5730c8d7eecec7314c15419aff1112960398bb (diff) | |
Added verification of consistency proofs
Diffstat (limited to 'tools/testcase1.py')
0 files changed, 0 insertions, 0 deletions