Skip to content

Fix ground truth for inheritance/MRO benchmarks (Liskov substitution) #14

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
jaltmayerpizzorno wants to merge 20 commits into
base: main
Choose a base branch
from
Open

Fix ground truth for inheritance/MRO benchmarks (Liskov substitution) #14

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
934de26
Merge branch '202510-righttyper-support'
jaltmayerpizzorno Oct 12, 2025
f35ece8
Merge branch '202510-corrections'
jaltmayerpizzorno Oct 13, 2025
0ce1258
Merge branch '202510-corrections'
jaltmayerpizzorno Oct 13, 2025
35fa775
- fixed coordinates;
jaltmayerpizzorno Oct 31, 2025
e6da004
- fixed types not being parametrized;
jaltmayerpizzorno Oct 31, 2025
81f2ce8
- fixed missing "function" context;
jaltmayerpizzorno Oct 31, 2025
09bdce5
- fixed coordinate;
jaltmayerpizzorno Oct 31, 2025
03c842f
- fixed incorrect function context;
jaltmayerpizzorno Oct 31, 2025
4959d1c
- fixed type not being parametrized;
jaltmayerpizzorno Oct 31, 2025
a40d4db
- deleted entry from ground truth, as it describes a call, not a vari…
jaltmayerpizzorno Oct 31, 2025
378745a
- fixed invalid dictionary keys in subscript expressions;
jaltmayerpizzorno Oct 31, 2025
3991208
- fixed type, which wasn't parametrized;
jaltmayerpizzorno Oct 31, 2025
e010ba9
- fixed index out of range error due to <value1> interfering with enu…
jaltmayerpizzorno Oct 31, 2025
1c03981
Merge branch 'secure-software-engineering:main' into main
jaltmayerpizzorno Nov 4, 2025
348f225
Merge branch 'secure-software-engineering:main' into 202510-correctio…
jaltmayerpizzorno Nov 4, 2025
f167d80
Merge branch '202510-corrections-2'
jaltmayerpizzorno Nov 4, 2025
00311c4
- deleted entry from ground truth, as it describes a call, not a vari…
jaltmayerpizzorno Nov 4, 2025
bdd2c78
Merge branch '202510-corrections-2'
jaltmayerpizzorno Nov 4, 2025
10ab41a
Merge branch 'secure-software-engineering:main' into main
jaltmayerpizzorno Nov 18, 2025
da3f9ed
Fix ground truth for inheritance/MRO benchmarks (Liskov substitution)
jaltmayerpizzorno Mar 13, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions micro-benchmark/python_features/classes/inheritance_overriding/main_gt.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@
"col_offset": 9,
"function": "MyClass.func",
"type": [
"int",
"str"
]
},
Expand Down
1 change: 1 addition & 0 deletions micro-benchmark/python_features/mro/parents_same_superclass/main_gt.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@
"col_offset": 9,
"function": "A.func",
"type": [
"int",
"str"
]
},
Expand Down
3 changes: 2 additions & 1 deletion micro-benchmark/python_features/mro/self_assignment/main_gt.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,8 @@
"col_offset": 9,
"function": "B.func",
"type": [
"int"
"int",
"str"
]
},
{
Expand Down
1 change: 1 addition & 0 deletions micro-benchmark/python_features/mro/two_parents/main_gt.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@
"col_offset": 9,
"function": "B.func",
"type": [
"int",
"str"
]
},
Expand Down
7 changes: 5 additions & 2 deletions micro-benchmark/python_features/mro/two_parents_method_defined/main_gt.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,8 @@
"col_offset": 9,
"function": "A.func",
"type": [
"float"
"float",
"str"
]
},
{
Expand All @@ -14,7 +15,9 @@
"col_offset": 9,
"function": "B.func",
"type": [
"int"
"float",
"int",
"str"
]
},
{
Expand Down