diff options
Diffstat (limited to 'Test/doomed')
| -rw-r--r-- | Test/doomed/notdoomed.bpl | 11 |
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;
+ }
+}
|