diff options
| author | hallgren <hallgren@chalmers.se> | 2014-04-06 23:13:18 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-04-06 23:13:18 +0000 |
| commit | ea67953012f1b8cff1cefc24f91637e29c9b9e87 (patch) | |
| tree | c2e844f1c36ed2f7cb1820903b40bf533d18b486 /src/example-based/ExampleDemo.hs | |
| parent | 5344d42536463fa35194cf02a5a903ca76d90701 (diff) | |
Wide coverage demo app: show an error message if linearization fails
Diffstat (limited to 'src/example-based/ExampleDemo.hs')
0 files changed, 0 insertions, 0 deletions