-
Notifications
You must be signed in to change notification settings - Fork 10
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix system test
rbt-report-input-duplicate-definition
- The `*.lobster` input files were missing for this test. - The test was located at a wrong location, where the test was not executed at all.
- Loading branch information
Showing
16 changed files
with
256 additions
and
7 deletions.
There are no files selected for viewing
1 change: 0 additions & 1 deletion
1
...ster-core/report/rbt-report-input-duplicate-definition/multiple-duplicates/input/args.txt
This file was deleted.
Oops, something went wrong.
1 change: 0 additions & 1 deletion
1
...em/lobster-core/report/rbt-report-input-duplicate-definition/no-duplicates/input/args.txt
This file was deleted.
Oops, something went wrong.
File renamed without changes.
File renamed without changes.
2 changes: 1 addition & 1 deletion
2
...ple-duplicates/expected-output/stdout.txt → ...ple-duplicates/expected-output/stdout.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,4 +1,4 @@ | ||
| DuplicateDefinitionTest.py:2: lobster error: duplicate definition of hello DuplicateDefinitionTest, previously defined at DuplicateDefinitionTest.py:1 | ||
| DuplicateDefinitionTest.py:3: lobster error: duplicate definition of hello DuplicateDefinitionTest, previously defined at DuplicateDefinitionTest.py:1 | ||
| DuplicateDefinitionTest.py:4: lobster error: duplicate definition of hello DuplicateDefinitionTest, previously defined at DuplicateDefinitionTest.py:1 | ||
| lobster: aborting due to earlier errors. | ||
| lobster: aborting due to earlier errors. |
1 change: 1 addition & 0 deletions
1
...m/lobster-report/rbt-report-input-duplicate-definition/multiple-duplicates/input/args.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| --lobster-config=lobster.config |
75 changes: 75 additions & 0 deletions
75
...bster-report/rbt-report-input-duplicate-definition/multiple-duplicates/input/file.lobster
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,75 @@ | ||
| { | ||
| "data": [ | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 1, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 2, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 3, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 4, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| } | ||
| ], | ||
| "generator": "lobster_hello", | ||
| "schema": "lobster-imp-trace", | ||
| "version": 3 | ||
| } |
File renamed without changes.
File renamed without changes.
99 changes: 99 additions & 0 deletions
99
...report/rbt-report-input-duplicate-definition/no-duplicates/expected-output/report.lobster
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,99 @@ | ||
| { | ||
| "schema": "lobster-report", | ||
| "version": 2, | ||
| "generator": "lobster_report", | ||
| "levels": [ | ||
| { | ||
| "name": "Something", | ||
| "kind": "implementation", | ||
| "items": [ | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 1", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 1, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 1", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "tracing_status": "OK", | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 2", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 2, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 2", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "tracing_status": "OK", | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 3", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 3, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 3", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "tracing_status": "OK", | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 4", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 4, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 4", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "tracing_status": "OK", | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| } | ||
| ], | ||
| "coverage": 100.0 | ||
| } | ||
| ], | ||
| "policy": { | ||
| "Something": { | ||
| "name": "Something", | ||
| "kind": "implementation", | ||
| "traces": [], | ||
| "source": [ | ||
| { | ||
| "file": "file.lobster", | ||
| "filters": [] | ||
| } | ||
| ], | ||
| "needs_tracing_up": false, | ||
| "needs_tracing_down": false, | ||
| "breakdown_requirements": [] | ||
| } | ||
| }, | ||
| "matrix": [] | ||
| } |
Empty file.
Empty file.
1 change: 1 addition & 0 deletions
1
...-system/lobster-report/rbt-report-input-duplicate-definition/no-duplicates/input/args.txt
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| --lobster-config=lobster.config |
75 changes: 75 additions & 0 deletions
75
...tem/lobster-report/rbt-report-input-duplicate-definition/no-duplicates/input/file.lobster
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,75 @@ | ||
| { | ||
| "data": [ | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 1", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 1, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 1", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 2", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 2, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 2", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 3", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 3, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 3", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| }, | ||
| { | ||
| "tag": "hello DuplicateDefinitionTest 4", | ||
| "location": { | ||
| "kind": "file", | ||
| "file": "DuplicateDefinitionTest.py", | ||
| "line": 4, | ||
| "column": null | ||
| }, | ||
| "name": "DuplicateDefinitionTest 4", | ||
| "messages": [], | ||
| "just_up": [], | ||
| "just_down": [], | ||
| "just_global": [], | ||
| "refs": [], | ||
| "language": "Python", | ||
| "kind": "Function" | ||
| } | ||
| ], | ||
| "generator": "lobster_hello", | ||
| "schema": "lobster-imp-trace", | ||
| "version": 3 | ||
| } |
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters