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

Fuzzer: Add a new failing testcase

Browse Source
This commit is contained in:
Sergio Martins
2020-01-27 15:10:55 +00:00
parent ca98d376b7
commit 2b1518b1c2
1 changed files with 159 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

159
tests/fuzzer/testcases/failing/2.json Normal file
View File

@@ -0,0 +1,159 @@
{
"initialLayout": {
"dockWidgets": [
{
"geometry": {
"size": {
"height": 976,
"width": 1087
},
"x": 298,
"y": 13
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 447,
"width": 498
},
"name": "DockWidget-4322"
},
{
"geometry": {
"size": {
"height": 793,
"width": 897
},
"x": 322,
"y": 491
},
"isFloating": false,
"isVisible": false,
"minSize": {
"height": 565,
"width": 544
},
"name": "DockWidget-4323"
},
{
"geometry": {
"size": {
"height": 426,
"width": 972
},
"x": 54,
"y": 88
},
"isFloating": true,
"isVisible": true,
"minSize": {
"height": 284,
"width": 596
},
"name": "DockWidget-4324"
}
],
"mainWindows": [
{
"geometry": {
"size": {
"height": 1425,
"width": 145
},
"x": 20,
"y": 2
},
"mainWindowOption": 0,
"name": "MainWindow-794"
}
]
},
"operations": [
{
"comment": "AddDockWidget DockWidget-4323-[hidden] to top",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4323",
"location": 2,
"mainWindowName": "MainWindow-794"
},
"type": 4
},
{
"comment": "Closing DockWidget-4323",
"params": {
"dockWidgetName": "DockWidget-4323"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-4324 to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4324",
"location": 1,
"mainWindowName": "MainWindow-794"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-4324 to right",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4324",
"location": 3,
"mainWindowName": "MainWindow-794"
},
"type": 4
},
{
"comment": "Closing DockWidget-4324",
"params": {
"dockWidgetName": "DockWidget-4324"
},
"type": 1
},
{
"comment": "AddDockWidget DockWidget-4324-[hidden] to left",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4324",
"location": 1,
"mainWindowName": "MainWindow-794"
},
"type": 4
},
{
"comment": "AddDockWidget DockWidget-4322-[hidden] to top, relative to DockWidget-4324",
"params": {
"addingOption": 0,
"dockWidgetName": "DockWidget-4322",
"location": 2,
"mainWindowName": "MainWindow-794",
"relativeToName": "DockWidget-4324"
},
"type": 4
},
{
"comment": "Hidding DockWidget-4324",
"params": {
"dockWidgetName": "DockWidget-4324"
},
"type": 2
},
{
"comment": "Closing DockWidget-4322",
"params": {
"dockWidgetName": "DockWidget-4322"
},
"type": 1
},
{
"comment": "Showing DockWidget-4324-[hidden]",
"params": {
"dockWidgetName": "DockWidget-4324"
},
"type": 3
}
]
}