diff --git a/tests/fuzzer/testcases/failing/2.json b/tests/fuzzer/testcases/failing/2.json new file mode 100644 index 00000000..b98030a5 --- /dev/null +++ b/tests/fuzzer/testcases/failing/2.json @@ -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 + } + ] +}