Add unwind flags to examples not terminating (rust-lang#492)

adpaco-aws · tedinski · commit a71b340f05a7 · 2021-09-20T14:27:12.000-04:00
* Add unwind flags to examples not terminating

* Reduce unwind values, add newlines
diff --git a/src/tools/dashboard/configs/books/The Rust Reference/Patterns/368.props b/src/tools/dashboard/configs/books/The Rust Reference/Patterns/368.props
@@ -0,0 +1 @@
+// rmc-flags: --cbmc-args --unwind 0
diff --git a/src/tools/dashboard/configs/books/The Rust Reference/Type system/Types/113.props b/src/tools/dashboard/configs/books/The Rust Reference/Type system/Types/113.props
@@ -0,0 +1 @@
+// rmc-flags: --cbmc-args --unwind 0
