Skip to content
Snippets Groups Projects
Commit 09d39276 authored by Octavian-Eugen Ganea's avatar Octavian-Eugen Ganea
Browse files

No commit message 

No commit message
parent 18f2b677
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/purescala/isabelle/README
+ 1
− 1
View file @ 09d39276
...@@ -20,7 +20,7 @@ ...@@ -20,7 +20,7 @@
- try to run Nitpick on lemmas with bugs. - tried but nothing useful deduced - try to run Nitpick on lemmas with bugs. - tried but nothing useful deduced
- deal with functions with duplicate names - CHECKED (each function has its number of arguments attached) - deal with functions with duplicate names - CHECKED (each function has its number of arguments attached)
- for the above 2 problems you can refer to files : testcases/MutuallyRecursive.scala and testcases/ConnectedTest.scala
-------------------------------------------------- --------------------------------------------------
Ganea Octavian Ganea Octavian
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment