philipp/KDDockWidgets
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fuzzer: trim testcase 16

Browse Source 
Now has the minimum to reproduce
This commit is contained in:
Sergio Martins
2020-01-22 10:56:11 +00:00
parent 141cbc55f4
commit 8447cefc14
1 changed files with 31 additions and 337 deletions
Download Patch File Download Diff File Expand all files Collapse all files

368
tests/fuzzer/testcases/16.json
View File

@@ -16,7 +16,7 @@
"height": 302,
"width": 541
},
"name": "DockWidget-108"
"name": "DockWidget-1"
},
{
"geometry": {
@@ -33,7 +33,7 @@
"height": 462,
"width": 553
},
"name": "DockWidget-109"
"name": "DockWidget-2"
},
{
"geometry": {
@@ -50,7 +50,7 @@
"height": 402,
"width": 523
},
"name": "DockWidget-110"
"name": "DockWidget-3"
},
{
"geometry": {
@@ -67,7 +67,7 @@
"height": 322,
"width": 460
},
"name": "DockWidget-111"
"name": "DockWidget-4"
},
{
"geometry": {
@@ -84,7 +84,7 @@
"height": 425,
"width": 249
},
"name": "DockWidget-112"
"name": "DockWidget-5"
},
{
"geometry": {
@@ -101,7 +101,7 @@
"height": 523,
"width": 451
},
"name": "DockWidget-113"
"name": "DockWidget-6"
}
],
"mainWindows": [
@@ -120,397 +120,91 @@
]
},
"operations": [
{
"comment": "AddDockWidgetAsTab DockWidget-112-[hidden] onto DockWidget-109",
"params": {
"dockWidgetName": "DockWidget-109",
"dockWidgetToAddName": "DockWidget-112"
},
"type": 5
},
{
"comment": "Hidding DockWidget-108",
"params": {
"dockWidgetName": "DockWidget-108"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-109-[hidden] onto DockWidget-113",
"params": {
"dockWidgetName": "DockWidget-113",
"dockWidgetToAddName": "DockWidget-109"
},
"type": 5
},
{
"comment": "Hidding DockWidget-112",
"params": {
"dockWidgetName": "DockWidget-112"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-110 to bottom",
"comment": "AddDockWidget DockWidget-4-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-110",
"location": 4,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "Hidding DockWidget-110",
"params": {
"dockWidgetName": "DockWidget-110"
},
"type": 2
},
{
"comment": "Hidding DockWidget-109",
"params": {
"dockWidgetName": "DockWidget-109"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-110-[hidden] to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-110",
"location": 3,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "Closing DockWidget-110",
"params": {
"dockWidgetName": "DockWidget-110"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-113 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-113",
"location": 4,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "Showing DockWidget-110-[hidden]",
"params": {
"dockWidgetName": "DockWidget-110"
},
"type": 3
},
{
"comment": "Showing DockWidget-112-[hidden]",
"params": {
"dockWidgetName": "DockWidget-112"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-113 to bottom, relative to DockWidget-110",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-113",
"location": 4,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-110"
},
"type": 4
},
{
"comment": "Closing DockWidget-110",
"params": {
"dockWidgetName": "DockWidget-110"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-109-[hidden] to left, relative to DockWidget-113",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-109",
"location": 1,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-113"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-110-[hidden] onto DockWidget-113",
"params": {
"dockWidgetName": "DockWidget-113",
"dockWidgetToAddName": "DockWidget-110"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-110 onto DockWidget-112",
"params": {
"dockWidgetName": "DockWidget-112",
"dockWidgetToAddName": "DockWidget-110"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-111 onto DockWidget-113",
"params": {
"dockWidgetName": "DockWidget-113",
"dockWidgetToAddName": "DockWidget-111"
},
"type": 5
},
{
"comment": "Hidding DockWidget-111",
"params": {
"dockWidgetName": "DockWidget-111"
},
"type": 2
},
{
"comment": "Showing DockWidget-112-[hidden]",
"params": {
"dockWidgetName": "DockWidget-112"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-111-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-111",
"dockWidgetName": "DockWidget-4",
"location": 2,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-112 to top",
"comment": "AddDockWidget DockWidget-1 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-112",
"location": 2,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-108-[hidden] to right, relative to DockWidget-109",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-108",
"location": 3,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-109"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-108 to right, relative to DockWidget-111",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-108",
"location": 3,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-111"
},
"type": 4
},
{
"comment": "Hidding DockWidget-113",
"params": {
"dockWidgetName": "DockWidget-113"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-108 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-108",
"dockWidgetName": "DockWidget-1",
"location": 1,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-113-[hidden] onto DockWidget-108",
"comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-1",
"params": {
"dockWidgetName": "DockWidget-108",
"dockWidgetToAddName": "DockWidget-113"
"dockWidgetName": "DockWidget-1",
"dockWidgetToAddName": "DockWidget-6"
},
"type": 5
},
{
"comment": "Hidding DockWidget-109",
"params": {
"dockWidgetName": "DockWidget-109"
},
"type": 2
},
{
"comment": "AddDockWidgetAsTab DockWidget-109-[hidden] onto DockWidget-112",
"params": {
"dockWidgetName": "DockWidget-112",
"dockWidgetToAddName": "DockWidget-109"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-108-[hidden] to top",
"comment": "AddDockWidget DockWidget-1-[hidden] to right, relative to DockWidget-4",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-108",
"location": 2,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-108 onto DockWidget-110",
"params": {
"dockWidgetName": "DockWidget-110",
"dockWidgetToAddName": "DockWidget-108"
},
"type": 5
},
{
"comment": "Hidding DockWidget-108",
"params": {
"dockWidgetName": "DockWidget-108"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-108-[hidden] to right, relative to DockWidget-111",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-108",
"dockWidgetName": "DockWidget-1",
"location": 3,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-111"
"relativeToName": "DockWidget-4"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-110 onto DockWidget-112-[hidden]",
"comment": "Closing DockWidget-6",
"params": {
"dockWidgetName": "DockWidget-112",
"dockWidgetToAddName": "DockWidget-110"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-112-[hidden] to left, relative to DockWidget-108",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-112",
"location": 1,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-108"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-108 to right, relative to DockWidget-111",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-108",
"location": 3,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-111"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-112 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-112",
"location": 1,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "Closing DockWidget-113",
"params": {
"dockWidgetName": "DockWidget-113"
"dockWidgetName": "DockWidget-6"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-109-[hidden] to left",
"comment": "AddDockWidget DockWidget-5 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-109",
"dockWidgetName": "DockWidget-5",
"location": 1,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "Closing DockWidget-111",
"comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-111"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-112 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-112",
"location": 1,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-110 to top, relative to DockWidget-108",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-110",
"location": 2,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-108"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-111-[hidden] onto DockWidget-110",
"params": {
"dockWidgetName": "DockWidget-110",
"dockWidgetToAddName": "DockWidget-111"
"dockWidgetName": "DockWidget-3",
"dockWidgetToAddName": "DockWidget-4"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-109 to left",
"comment": "AddDockWidget DockWidget-2 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-109",
"dockWidgetName": "DockWidget-2",
"location": 1,
"mainWindowName": "MainWindow-17"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-111 to right, relative to DockWidget-112",
"comment": "AddDockWidget DockWidget-4 to right, relative to DockWidget-5",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-111",
"dockWidgetName": "DockWidget-4",
"location": 3,
"mainWindowName": "MainWindow-17",
"relativeToName": "DockWidget-112"
"relativeToName": "DockWidget-5"
},
"type": 4
}