diff options
Diffstat (limited to 'testsuites/rubbos/testsuite_story')
| -rwxr-xr-x | testsuites/rubbos/testsuite_story/rubbos_story1 | 2 | ||||
| -rwxr-xr-x | testsuites/rubbos/testsuite_story/rubbos_story2 | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/testsuites/rubbos/testsuite_story/rubbos_story1 b/testsuites/rubbos/testsuite_story/rubbos_story1 index c3b1e921..af143e30 100755 --- a/testsuites/rubbos/testsuite_story/rubbos_story1 +++ b/testsuites/rubbos/testsuite_story/rubbos_story1 @@ -1 +1 @@ -rubbos_1-1-1 +rubbos_1-1-0-1 diff --git a/testsuites/rubbos/testsuite_story/rubbos_story2 b/testsuites/rubbos/testsuite_story/rubbos_story2 index 40eb5f02..b35fbdd7 100755 --- a/testsuites/rubbos/testsuite_story/rubbos_story2 +++ b/testsuites/rubbos/testsuite_story/rubbos_story2 @@ -1,2 +1,2 @@ -rubbos_1-1-1 -rubbos_1-1-2 +rubbos_1-1-0-1 +rubbos_1-2-0-1 |