diff options
Diffstat (limited to 'testsuite/transko/two.stp')
| -rwxr-xr-x | testsuite/transko/two.stp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/transko/two.stp b/testsuite/transko/two.stp index 69f78b5c..77e1f6d0 100755 --- a/testsuite/transko/two.stp +++ b/testsuite/transko/two.stp @@ -8,4 +8,5 @@ probe foo { break for (a=0; a<10; a=a+1) for (b=0; b<10; b=b+1) ; continue + return 0 } |