GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-01 08:32:23 +03:00
Code Issues Projects Releases Wiki Activity

Add known failure notice for issue 212

Browse Source
This commit is contained in:
Thomas M. DuBuisson 2015-12-10 12:36:06 -08:00
parent 04ba8f8871
commit 3afdae127a
2 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tests/issues/issue212.icry.fails Normal file
View File

@ -0,0 +1 @@
Known tc failure. See issue #212.

0
tests/issues/issue212.icry.stdout Normal file
View File