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

fuzzer: Add failing tests

Browse Source
This commit is contained in:
Sergio Martins
2019-10-15 11:51:07 +01:00
parent 50f6ac62fa
commit 6dad6a6cb0
2 changed files with 569 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

399
tests/fuzzer/testcases/2.json Normal file
View File

@@ -0,0 +1,399 @@
{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 410,
"width": 531
},
"x": 359,
"y": 134
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 258,
"width": 175
},
"name": "DockWidget-1"
},
{
"geometry": {
"size": {
"height": 588,
"width": 651
},
"x": 369,
"y": 7
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 438,
"width": 373
},
"name": "DockWidget-2"
},
{
"geometry": {
"size": {
"height": 969,
"width": 279
},
"x": 302,
"y": 60
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 392,
"width": 172
},
"name": "DockWidget-3"
},
{
"geometry": {
"size": {
"height": 645,
"width": 562
},
"x": 115,
"y": 448
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 584,
"width": 346
},
"name": "DockWidget-4"
},
{
"geometry": {
"size": {
"height": 586,
"width": 270
},
"x": 217,
"y": 397
},
"isFloating": false,
"isVisible": true,
"minSize": {
"height": 458,
"width": 152
},
"name": "DockWidget-5"
},
{
"geometry": {
"size": {
"height": 762,
"width": 460
},
"x": 40,
"y": 90
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 476,
"width": 268
},
"name": "DockWidget-6"
},
{
"geometry": {
"size": {
"height": 873,
"width": 644
},
"x": 3,
"y": 26
},
"isFloating": true,
"isVisible": false,
"minSize": {
"height": 533,
"width": 246
},
"name": "DockWidget-7"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1163,
"width": 36
},
"x": 95,
"y": 56
},
"mainWindowOption": 0,
"name": "MainWindow-1"
}
]
},
"operations": [
{
"comment": "AddDockWidgetAsTab DockWidget-7 onto DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3",
"dockWidgetToAddName": "DockWidget-7"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-1-[hidden]",
"params": {
"dockWidgetName": "DockWidget-1",
"dockWidgetToAddName": "DockWidget-4"
},
"type": 5
},
{
"comment": "Showing DockWidget-1-[hidden]",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-1-[hidden] to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 4,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5",
"dockWidgetToAddName": "DockWidget-4"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-1-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-1",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Hidding DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 2
},
{
"comment": "Hidding DockWidget-1-[hidden]",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-3 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-3",
"location": 1,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-3",
"params": {
"dockWidgetName": "DockWidget-3"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-2 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-2",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-7 onto DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2",
"dockWidgetToAddName": "DockWidget-7"
},
"type": 5
},
{
"comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-4",
"params": {
"dockWidgetName": "DockWidget-4",
"dockWidgetToAddName": "DockWidget-2"
},
"type": 5
},
{
"comment": "Closing DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 1
},
{
"comment": "Hidding DockWidget-2",
"params": {
"dockWidgetName": "DockWidget-2"
},
"type": 2
},
{
"comment": "Showing DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-7 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-7",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-4 to bottom, relative to DockWidget-7",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4",
"location": 4,
"mainWindowName": "MainWindow-1",
"relativeToName": "DockWidget-7"
},
"type": 4
},
{
"comment": "Hidding DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 2
},
{
"comment": "AddDockWidget DockWidget-5 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 3,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-3 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-3",
"location": 4,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-5 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Closing DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5"
},
"type": 1
},
{
"comment": "Showing DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5"
},
"type": 3
},
{
"comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-4",
"params": {
"dockWidgetName": "DockWidget-4",
"dockWidgetToAddName": "DockWidget-2"
},
"type": 5
},
{
"comment": "AddDockWidget DockWidget-5 to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-5",
"location": 2,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-5",
"params": {
"dockWidgetName": "DockWidget-5",
"dockWidgetToAddName": "DockWidget-1"
},
"type": 5
},
{
"comment": "Hidding DockWidget-1-[hidden]",
"params": {
"dockWidgetName": "DockWidget-1"
},
"type": 2
},
{
"comment": "Showing DockWidget-4",
"params": {
"dockWidgetName": "DockWidget-4"
},
"type": 3
},
{
"comment": "AddDockWidget DockWidget-2 to bottom",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-2",
"location": 4,
"mainWindowName": "MainWindow-1"
},
"type": 4
},
{
"comment": "Showing DockWidget-7",
"params": {
"dockWidgetName": "DockWidget-7"
},
"type": 3
}
]
}