Test for cproverNondetInitialize with lazy-methods

romainbrenguier · romainbrenguier · commit 6d2d6c4a96bc · 2017-11-20T15:36:15.000Z
diff --git a/regression/cbmc-java/NondetInitValidate/test_lazy.desc b/regression/cbmc-java/NondetInitValidate/test_lazy.desc
@@ -0,0 +1,5 @@
+CORE
+Test.class
+--function Test.check --lazy-methods
+^VERIFICATION SUCCESSFUL$
+--
