Added reference to inlining/modularity part of wiki to troubleshootin…

…g section
marcoeilers · Dec 4, 2024 · d1cc6b3 · d1cc6b3
1 parent 9f7341e
commit d1cc6b3
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.rst b/README.rst
@@ -160,3 +160,7 @@ Troubleshooting
 
     The version of Viper you're using does not match your version of Nagini. Try updating both to the newest version.
 
+3.  Nagini cannot prove trivial properties about the return values of functions: 
+
+    This is likely due to a lack of specifications, see the discussion in the ``General Contracts`` section of the  `wiki <https://github.com/marcoeilers/nagini/wiki>`_.
+