idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-24 06:52:19 +03:00
Code Issues Projects Releases Wiki Activity

fix coverage010

Browse Source
This commit is contained in:
Alex Gryzlov 2020-06-15 13:22:04 +02:00
parent 2ee42e777a
commit 2912b194d5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/idris2/coverage010/expected
View File

@ -1,3 +1,3 @@
1/1: Building casetot (casetot.idr)
casetot.idr:12:1--13:1:main is not covering:
Calls non covering function Main.case block in 2097(578)
Calls non covering function Main.case block in 2101(587)