1 files changed, 11 insertions, 0 deletions

diff --git a/Test/doomed/notdoomed.bpl b/Test/doomed/notdoomed.bpl
index 86bf76d1..eb60536f 100644
--- a/Test/doomed/notdoomed.bpl
+++ b/Test/doomed/notdoomed.bpl
@@ -23,6 +23,17 @@ procedure b(x:int)
 }

 

 

+procedure c(x:int)

+{

+  var y : int;

+

+  if(x<0) {

+    y := 1;

+  } else {

+    y := 2;

+    assert {:PossiblyUnreachable} false;

+  }

+}