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 | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/testsuites/rubbos/testsuite_story/rubbos_story1 b/testsuites/rubbos/testsuite_story/rubbos_story1 new file mode 100755 index 00000000..f3e7f31a --- /dev/null +++ b/testsuites/rubbos/testsuite_story/rubbos_story1 @@ -0,0 +1,2 @@ +rubbos_1-1-1 +rubbos_1-2-1 diff --git a/testsuites/rubbos/testsuite_story/rubbos_story2 b/testsuites/rubbos/testsuite_story/rubbos_story2 new file mode 100755 index 00000000..40eb5f02 --- /dev/null +++ b/testsuites/rubbos/testsuite_story/rubbos_story2 @@ -0,0 +1,2 @@ +rubbos_1-1-1 +rubbos_1-1-2 |