From 68b7c0b1a9adf817f16bc955d1d96da2fd6adb20 Mon Sep 17 00:00:00 2001 From: Sergio Martins Date: Sat, 25 Mar 2023 12:44:06 +0000 Subject: [PATCH] tests: Remove old fuzzer Not worth maintaining, as the layouting code is mature now. Was useful when we had flaky code for layouting, but that has since been rewritten. Reducing maintenance burden. --- CMakeLists.txt | 5 - CMakePresets.json | 137 ++- README.md | 1 - src/private/DockRegistry_p.h | 2 +- tests/CMakeLists.txt | 5 - tests/fuzzer/9.json | 1016 --------------------- tests/fuzzer/CMakeLists.txt | 21 - tests/fuzzer/Fuzzer.cpp | 404 --------- tests/fuzzer/Fuzzer.h | 283 ------ tests/fuzzer/Operations.cpp | 483 ---------- tests/fuzzer/Operations.h | 217 ----- tests/fuzzer/main.cpp | 104 --- tests/fuzzer/testcases/1.json | 138 --- tests/fuzzer/testcases/10.json | 761 ---------------- tests/fuzzer/testcases/11.json | 1243 ------------------------- tests/fuzzer/testcases/12.json | 312 ------- tests/fuzzer/testcases/13.json | 1250 -------------------------- tests/fuzzer/testcases/14.json | 599 ------------ tests/fuzzer/testcases/15.json | 364 -------- tests/fuzzer/testcases/16.json | 212 ----- tests/fuzzer/testcases/17.json | 159 ---- tests/fuzzer/testcases/18.json | 905 ------------------- tests/fuzzer/testcases/19.json | 378 -------- tests/fuzzer/testcases/2.json | 212 ----- tests/fuzzer/testcases/20.json | 833 ----------------- tests/fuzzer/testcases/21.json | 645 ------------- tests/fuzzer/testcases/3.json | 142 --- tests/fuzzer/testcases/4.json | 135 --- tests/fuzzer/testcases/5.json | 76 -- tests/fuzzer/testcases/6.json | 122 --- tests/fuzzer/testcases/7.json | 245 ----- tests/fuzzer/testcases/8.json | 205 ----- tests/fuzzer/testcases/failing/empty | 0 33 files changed, 67 insertions(+), 11547 deletions(-) delete mode 100644 tests/fuzzer/9.json delete mode 100644 tests/fuzzer/CMakeLists.txt delete mode 100644 tests/fuzzer/Fuzzer.cpp delete mode 100644 tests/fuzzer/Fuzzer.h delete mode 100644 tests/fuzzer/Operations.cpp delete mode 100644 tests/fuzzer/Operations.h delete mode 100644 tests/fuzzer/main.cpp delete mode 100644 tests/fuzzer/testcases/1.json delete mode 100644 tests/fuzzer/testcases/10.json delete mode 100644 tests/fuzzer/testcases/11.json delete mode 100644 tests/fuzzer/testcases/12.json delete mode 100644 tests/fuzzer/testcases/13.json delete mode 100644 tests/fuzzer/testcases/14.json delete mode 100644 tests/fuzzer/testcases/15.json delete mode 100644 tests/fuzzer/testcases/16.json delete mode 100644 tests/fuzzer/testcases/17.json delete mode 100644 tests/fuzzer/testcases/18.json delete mode 100644 tests/fuzzer/testcases/19.json delete mode 100644 tests/fuzzer/testcases/2.json delete mode 100644 tests/fuzzer/testcases/20.json delete mode 100644 tests/fuzzer/testcases/21.json delete mode 100644 tests/fuzzer/testcases/3.json delete mode 100644 tests/fuzzer/testcases/4.json delete mode 100644 tests/fuzzer/testcases/5.json delete mode 100644 tests/fuzzer/testcases/6.json delete mode 100644 tests/fuzzer/testcases/7.json delete mode 100644 tests/fuzzer/testcases/8.json delete mode 100644 tests/fuzzer/testcases/failing/empty diff --git a/CMakeLists.txt b/CMakeLists.txt index 608a2491..2e44e6d0 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -63,11 +63,6 @@ # Build the layout linter. # Ignored unless KDDockWidgets_DEVELOPER_MODE=True # Default=true -# -# -DKDDockWidgets_FUZZER=[true|false] -# Build the fuzzer. -# Ignored unless KDDockWidgets_DEVELOPER_MODE=True -# Default=true cmake_minimum_required(VERSION 3.12) diff --git a/CMakePresets.json b/CMakePresets.json index 56f1f5d7..98f03c9d 100644 --- a/CMakePresets.json +++ b/CMakePresets.json @@ -9,11 +9,10 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_FUZZER" : "OFF" + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true } }, { @@ -25,12 +24,11 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_FUZZER" : "OFF", - "ECM_ENABLE_SANITIZERS" : "'address;undefined'" + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON", + "ECM_ENABLE_SANITIZERS": "'address;undefined'" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true } }, { @@ -41,11 +39,11 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_WERROR": "ON", - "KDDockWidgets_EXAMPLES" : "OFF" + "KDDockWidgets_EXAMPLES": "OFF" }, "environment": { "CXX": "clazy", - "CCACHE_DISABLE" : "ON" + "CCACHE_DISABLE": "ON" } }, { @@ -55,13 +53,13 @@ "binaryDir": "${sourceDir}/build-clazy-qtquick", "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", - "KDDockWidgets_EXAMPLES" : "OFF", + "KDDockWidgets_EXAMPLES": "OFF", "KDDockWidgets_WERROR": "ON", "KDDockWidgets_QTQUICK": "ON" }, "environment": { "CXX": "clazy", - "CCACHE_DISABLE" : "ON" + "CCACHE_DISABLE": "ON" } }, { @@ -80,7 +78,7 @@ "binaryDir": "${sourceDir}/build-release-no-x11extras", "cacheVariables": { "CMAKE_BUILD_TYPE": "Release", - "KDDockWidgets_X11EXTRAS" : "OFF" + "KDDockWidgets_X11EXTRAS": "OFF" } }, { @@ -102,9 +100,8 @@ "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_QTQUICK": "ON", "KDDockWidgets_DEVELOPER_MODE": "ON", - "ECM_ENABLE_SANITIZERS" : "'address;undefined'", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_FUZZER" : "OFF" + "ECM_ENABLE_SANITIZERS": "'address;undefined'", + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON" } }, { @@ -157,7 +154,7 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Release", "KDDockWidgets_QT6": "ON", - "CMAKE_PREFIX_PATH" : "$env{QT6_DIR}" + "CMAKE_PREFIX_PATH": "$env{QT6_DIR}" }, "environment": { "PATH": "$env{QT6_DIR}/bin:$penv{PATH}" @@ -172,9 +169,8 @@ "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_QT6": "ON", "KDDockWidgets_DEVELOPER_MODE": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_FUZZER" : "OFF", - "CMAKE_PREFIX_PATH" : "$env{QT6_DIR}" + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON", + "CMAKE_PREFIX_PATH": "$env{QT6_DIR}" }, "environment": { "PATH": "$env{QT6_DIR}/bin:$penv{PATH}" @@ -189,10 +185,9 @@ "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_QT6": "ON", "KDDockWidgets_DEVELOPER_MODE": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "ECM_ENABLE_SANITIZERS" : "'address;undefined'", - "KDDockWidgets_FUZZER" : "OFF", - "CMAKE_PREFIX_PATH" : "$env{QT6_DIR}" + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON", + "ECM_ENABLE_SANITIZERS": "'address;undefined'", + "CMAKE_PREFIX_PATH": "$env{QT6_DIR}" }, "environment": { "PATH": "$env{QT6_DIR}/bin:$penv{PATH}" @@ -206,8 +201,8 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Release", "KDDockWidgets_QTQUICK": "ON", - "KDDockWidgets_QT6": "ON", - "CMAKE_PREFIX_PATH" : "$env{QT6_DIR}" + "KDDockWidgets_QT6": "ON", + "CMAKE_PREFIX_PATH": "$env{QT6_DIR}" }, "environment": { "PATH": "$env{QT6_DIR}/bin:$penv{PATH}" @@ -221,16 +216,16 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_QTQUICK": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_DEVELOPER_MODE": "ON", - "ECM_ENABLE_SANITIZERS" : "'address;undefined'", - "KDDockWidgets_QT6": "ON", - "CMAKE_PREFIX_PATH" : "$env{QT6_DIR}" + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON", + "KDDockWidgets_DEVELOPER_MODE": "ON", + "ECM_ENABLE_SANITIZERS": "'address;undefined'", + "KDDockWidgets_QT6": "ON", + "CMAKE_PREFIX_PATH": "$env{QT6_DIR}" }, "environment": { "PATH": "$env{QT6_DIR}/bin:$penv{PATH}", - "QML2_IMPORT_PATH" : "$env{QT6_DIR}/imports:$env{QT6_DIR}/qml", - "LD_LIBRARY_PATH" : "$env{QT6_DIR}/lib" + "QML2_IMPORT_PATH": "$env{QT6_DIR}/imports:$env{QT6_DIR}/qml", + "LD_LIBRARY_PATH": "$env{QT6_DIR}/lib" } }, { @@ -241,11 +236,10 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_FUZZER" : "ON" + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true }, "environment": { "CC": "clang-cl", @@ -260,11 +254,10 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "KDDockWidgets_FUZZER" : "OFF", "KDDockWidgets_QTQUICK": "ON" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true }, "environment": { "CC": "clang-cl", @@ -279,12 +272,11 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "KDDockWidgets_FUZZER" : "ON", "KDDockWidgets_QT6": "ON", - "CMAKE_PREFIX_PATH" : "$env{QT6_DIR}" + "CMAKE_PREFIX_PATH": "$env{QT6_DIR}" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true }, "environment": { "CC": "clang-cl", @@ -300,20 +292,19 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "KDDockWidgets_FUZZER" : "OFF", "KDDockWidgets_QTQUICK": "ON", "KDDockWidgets_QT6": "ON", - "CMAKE_PREFIX_PATH" : "$env{QT6_DIR}" + "CMAKE_PREFIX_PATH": "$env{QT6_DIR}" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true }, "environment": { "CC": "clang-cl", "CXX": "clang-cl", "PATH": "$env{QT6_DIR}/bin:$penv{PATH}", - "QML2_IMPORT_PATH" : "$env{QT6_DIR}/imports:$env{QT6_DIR}/qml", - "LD_LIBRARY_PATH" : "$env{QT6_DIR}/lib" + "QML2_IMPORT_PATH": "$env{QT6_DIR}/imports:$env{QT6_DIR}/qml", + "LD_LIBRARY_PATH": "$env{QT6_DIR}/lib" } }, { @@ -324,18 +315,17 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_FUZZER" : "OFF", - "CMAKE_C_FLAGS_INIT" : "-ftime-trace", + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON", + "CMAKE_C_FLAGS_INIT": "-ftime-trace", "CMAKE_CXX_FLAGS_INIT": "-ftime-trace" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true }, "environment": { "CC": "clang", "CXX": "clang++", - "CCACHE_DISABLE" : "ON" + "CCACHE_DISABLE": "ON" } }, { @@ -346,19 +336,18 @@ "cacheVariables": { "CMAKE_BUILD_TYPE": "Debug", "KDDockWidgets_DEVELOPER_MODE": "ON", - "CMAKE_EXPORT_COMPILE_COMMANDS" : "ON", - "KDDockWidgets_FUZZER" : "OFF", - "KDDockWidgets_QT6" : "ON", - "CMAKE_C_FLAGS_INIT" : "-ftime-trace", + "CMAKE_EXPORT_COMPILE_COMMANDS": "ON", + "KDDockWidgets_QT6": "ON", + "CMAKE_C_FLAGS_INIT": "-ftime-trace", "CMAKE_CXX_FLAGS_INIT": "-ftime-trace" }, - "warnings" : { - "uninitialized" : true + "warnings": { + "uninitialized": true }, "environment": { "CC": "clang", "CXX": "clang++", - "CCACHE_DISABLE" : "ON" + "CCACHE_DISABLE": "ON" } }, { @@ -459,17 +448,23 @@ }, { "name": "ci-static", - "inherits":["static"], + "inherits": [ + "static" + ], "binaryDir": "${sourceDir}/build-ci-static" }, { "name": "ci-static-qtquick", - "inherits":["static-qtquick"], + "inherits": [ + "static-qtquick" + ], "binaryDir": "${sourceDir}/build-ci-static-qtquick" }, { "name": "ci-python", - "inherits":["python"], + "inherits": [ + "python" + ], "binaryDir": "${sourceDir}/build-python" } ], @@ -478,16 +473,16 @@ "name": "clazy", "configurePreset": "clazy", "environment": { - "CLAZY_CHECKS" : "level2,detaching-member,heap-allocated-small-trivial-type,isempty-vs-count,qstring-varargs,qvariant-template-instantiation,raw-environment-function,reserve-candidates,signal-with-return-value,thread-with-slots,no-ctor-missing-parent-argument,no-missing-typeinfo", - "CCACHE_DISABLE" : "ON" + "CLAZY_CHECKS": "level2,detaching-member,heap-allocated-small-trivial-type,isempty-vs-count,qstring-varargs,qvariant-template-instantiation,raw-environment-function,reserve-candidates,signal-with-return-value,thread-with-slots,no-ctor-missing-parent-argument,no-missing-typeinfo", + "CCACHE_DISABLE": "ON" } }, { "name": "clazy-qtquick", "configurePreset": "clazy-qtquick", "environment": { - "CLAZY_CHECKS" : "level2,detaching-member,heap-allocated-small-trivial-type,isempty-vs-count,qstring-varargs,qvariant-template-instantiation,raw-environment-function,reserve-candidates,signal-with-return-value,thread-with-slots,no-ctor-missing-parent-argument,no-missing-typeinfo", - "CCACHE_DISABLE" : "ON" + "CLAZY_CHECKS": "level2,detaching-member,heap-allocated-small-trivial-type,isempty-vs-count,qstring-varargs,qvariant-template-instantiation,raw-environment-function,reserve-candidates,signal-with-return-value,thread-with-slots,no-ctor-missing-parent-argument,no-missing-typeinfo", + "CCACHE_DISABLE": "ON" } } ] diff --git a/README.md b/README.md index c65f8809..a1e08c85 100644 --- a/README.md +++ b/README.md @@ -62,7 +62,6 @@ creative with their requests, so it was clear we needed a better docking framewo - Clean codebase - Not mixing GUI with state with logic with animations - Great test coverage, even the GUI and DnD operations are tested. 200 tests currently. - - Fuzzer for doing random testing and finding bugs - Lazy separator resize - Reordering tabs with mouse - Partial layout save/restore, affecting only a chosen sub-set diff --git a/src/private/DockRegistry_p.h b/src/private/DockRegistry_p.h index dcab3b8a..840bdd86 100644 --- a/src/private/DockRegistry_p.h +++ b/src/private/DockRegistry_p.h @@ -173,7 +173,7 @@ public: * * @param dumpDebug If true then each layout is dumped too * - * This is called by the unit-tests or the fuzzer. If during this the framework spits a + * This is called by the unit-tests. If during this the framework spits a * qWarning() then the app will qFatal() */ void checkSanityAll(bool dumpDebug = false); diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt index 9a412123..fb92fe73 100644 --- a/tests/CMakeLists.txt +++ b/tests/CMakeLists.txt @@ -29,8 +29,6 @@ add_definitions(-DQT_NO_KEYWORDS) set(TESTING_SRCS utils.cpp Testing.cpp) -option(KDDockWidgets_FUZZER "Builds the fuzzer" ON) - # tst_docks set(TESTING_RESOURCES ${CMAKE_CURRENT_SOURCE_DIR}/test_resources.qrc) add_executable( @@ -46,9 +44,6 @@ if(NOT ${PROJECT_NAME}_QTQUICK) add_executable(tst_multisplitter tst_multisplitter.cpp) target_link_libraries(tst_multisplitter kddockwidgets Qt${Qt_VERSION_MAJOR}::Test) set_compiler_flags(tst_multisplitter) - if(KDDockWidgets_FUZZER) - add_subdirectory(fuzzer) - endif() endif() # tests_launcher diff --git a/tests/fuzzer/9.json b/tests/fuzzer/9.json deleted file mode 100644 index c416f95a..00000000 --- a/tests/fuzzer/9.json +++ /dev/null @@ -1,1016 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 457, - "width": 898 - }, - "x": 131, - "y": 431 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 225, - "width": 414 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 955, - "width": 963 - }, - "x": 382, - "y": 290 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 452, - "width": 505 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 508, - "width": 882 - }, - "x": 402, - "y": 346 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 288, - "width": 350 - }, - "name": "DockWidget-3" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1004, - "width": 133 - }, - "x": 55, - "y": 484 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to bottom, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-1 to left, relative to DockWidget-2-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-3 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to right, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to left, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to bottom, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] 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-1-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to left, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 2, - "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": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-1 to left, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-1 to left, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to left, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to left, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to top, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to left, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-2 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-1 to right, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-2 to top, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - } - ] -} diff --git a/tests/fuzzer/CMakeLists.txt b/tests/fuzzer/CMakeLists.txt deleted file mode 100644 index b9273563..00000000 --- a/tests/fuzzer/CMakeLists.txt +++ /dev/null @@ -1,21 +0,0 @@ -# -# This file is part of KDDockWidgets. -# -# SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company -# Author: Sergio Martins -# -# SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only -# -# Contact KDAB at for commercial licensing options. -# - -add_executable( - fuzzer - ../Testing.cpp Fuzzer.cpp main.cpp Operations.cpp -) - -set_property(TARGET fuzzer PROPERTY CXX_STANDARD 17) -target_link_libraries( - fuzzer kddockwidgets Qt${Qt_VERSION_MAJOR}::Widgets Qt${Qt_VERSION_MAJOR}::Test -) -set_compiler_flags(fuzzer) diff --git a/tests/fuzzer/Fuzzer.cpp b/tests/fuzzer/Fuzzer.cpp deleted file mode 100644 index d4a47bc2..00000000 --- a/tests/fuzzer/Fuzzer.cpp +++ /dev/null @@ -1,404 +0,0 @@ -/* - This file is part of KDDockWidgets. - - SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company - Author: Sérgio Martins - - SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only - - Contact KDAB at for commercial licensing options. -*/ - -// We don't care about performance related checks in the tests -// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations - -#include "Fuzzer.h" -#include "DockRegistry_p.h" -#include "DockWidget.h" -#include "MainWindow.h" -#include "FloatingWindow_p.h" - -#include - -#include -#include - -using namespace KDDockWidgets; -using namespace KDDockWidgets::Testing; -using namespace KDDockWidgets::Testing::Operations; - -#define OPERATIONS_PER_TEST 200 - -static MainWindow *createMainWindow(const Fuzzer::MainWindowDescriptor &mwd) -{ - auto mainWindow = new MainWindow(mwd.name, mwd.mainWindowOption); - - mainWindow->setGeometry(mwd.geometry); - - mainWindow->show(); - return mainWindow; -} - -static DockWidget *createDockWidget(const Fuzzer::DockWidgetDescriptor &dwd) -{ - auto dockWidget = new DockWidget(dwd.name); - - dockWidget->setWidget(new Testing::HostedWidget(dwd.minSize)); - - if (dwd.isFloating) - dockWidget->setGeometry(dwd.geometry); - - if (dwd.isVisible) - dockWidget->show(); - - return dockWidget; -} - -static void createLayout(const Fuzzer::Layout &layout) -{ - for (const Fuzzer::MainWindowDescriptor &mwd : layout.mainWindows) { - createMainWindow(mwd); - } - - for (const Fuzzer::DockWidgetDescriptor &dwd : layout.dockWidgets) { - createDockWidget(dwd); - } -} - -void Fuzzer::runTest(const Test &test) -{ - m_lastSavedLayout.clear(); - m_currentTest = test; - - if (!DockRegistry::self()->isEmpty()) - qFatal("There's dock widgets and the start runTest"); - - const bool skipsLast = m_options & Option_SkipLast; - createLayout(test.initialLayout); - int index = 0; - - auto operations = test.operations; - auto last = operations.last(); - if (skipsLast) - operations.removeLast(); - - for (const auto &op : operations) { - index++; - -#if 0 - // Uncomment to set a breakpoint! Check the last good index printed in the terminal - if (index == 82) { - qDebug() << "About to run the bad guy. Layout:"; - DockRegistry::self()->checkSanityAll(/*dumpDebug=*/true); - qDebug() << "Running the bad guy:"; - } -#endif - op->execute(); - if (op->hasParams()) - qDebug() << "Ran" << op->description() << index; - QTest::qWait(m_operationDelayMS); - DockRegistry::self()->checkSanityAll(); - } - - if (skipsLast) - qDebug() << "Skipped" << last->toString() << "\n"; - - const bool willQuit = !(m_options & Option_NoQuit); - if (willQuit) { - for (MainWindowBase *mw : DockRegistry::self()->mainwindows()) - delete mw; - - for (FloatingWindow *fw : DockRegistry::self()->floatingWindows()) - delete fw; - - for (DockWidgetBase *dw : DockRegistry::self()->dockwidgets()) - delete dw; - - if (!DockRegistry::self()->isEmpty()) - qFatal("There's still dock widgets and the end of runTest"); - } -} - -Fuzzer::Fuzzer(bool dumpJsonOnFailure, Options options, QObject *parent) - : QObject(parent) - , m_randomEngine(m_randomDevice()) - , m_dumpJsonOnFailure(dumpJsonOnFailure) - , m_options(options) -{ - Testing::installFatalMessageHandler(); - Testing::setWarningObserver(this); -} - -Fuzzer::Layout Fuzzer::generateRandomLayout() -{ - // for now we only support 1 main window - Fuzzer::Layout layout; - Fuzzer::MainWindowDescriptor mainWindow; - - static int count = 0; - count++; - mainWindow.name = QStringLiteral("MainWindow-%1").arg(count); - - mainWindow.geometry = randomGeometry(); - mainWindow.mainWindowOption = MainWindowOption_None; // TODO: Maybe test other options - layout.mainWindows << mainWindow; - - std::uniform_int_distribution<> numDocksDistrib(1, 10); // TODO: Increase - const int numDockWidgets = numDocksDistrib(m_randomEngine); - for (int i = 0; i < numDockWidgets; ++i) { - layout.dockWidgets << generateRandomDockWidget(); - } - - return layout; -} - -Fuzzer::DockWidgetDescriptor Fuzzer::generateRandomDockWidget() -{ - Fuzzer::DockWidgetDescriptor dwd; - - static int count = 0; - count++; - dwd.name = QStringLiteral("DockWidget-%1").arg(count); - dwd.isFloating = getRandomBool(35); - dwd.isVisible = getRandomBool(70); - - std::uniform_int_distribution<> minSizeDistriv(150, 600); - - dwd.minSize.setWidth(minSizeDistriv(m_randomEngine)); - dwd.minSize.setHeight(minSizeDistriv(m_randomEngine)); - - const bool hasMaxSize = getRandomBool(25); // 25% of all dock widgets have a max-size - if (hasMaxSize) { - std::uniform_int_distribution<> maxSizeDistriv(200, 600); - dwd.maxSize.setWidth(dwd.minSize.width() + minSizeDistriv(m_randomEngine)); - dwd.maxSize.setHeight(dwd.minSize.height() + minSizeDistriv(m_randomEngine)); - } - - QPoint pos = getRandomPos(); - std::uniform_int_distribution<> widthDistrib(dwd.minSize.width(), hasMaxSize ? dwd.maxSize.width() : dwd.minSize.width() + 600); - std::uniform_int_distribution<> heightDistrib(dwd.minSize.height(), hasMaxSize ? dwd.maxSize.height() : dwd.minSize.height() + 600); - dwd.geometry = QRect(pos, QSize(widthDistrib(m_randomEngine), heightDistrib(m_randomEngine))); - - return dwd; -} - -Fuzzer::DockWidgetDescriptor::List Fuzzer::generateRandomDockWidgets(int num) -{ - Fuzzer::DockWidgetDescriptor::List dockWidgets; - for (int i = 0; i < num; ++i) { - dockWidgets << generateRandomDockWidget(); - } - return dockWidgets; -} - -bool Fuzzer::getRandomBool(int truePercentage) -{ - std::uniform_int_distribution<> distrib(1, 100); - return distrib(m_randomEngine) < truePercentage; -} - -Testing::AddDockWidgetParams Fuzzer::getRandomAddDockWidgetParams() -{ - AddDockWidgetParams params; - - if (auto dw = getRandomDockWidget()) { - params.dockWidgetName = dw->uniqueName(); - } else { - qWarning() << Q_FUNC_INFO << "No dock widgets exist yet!"; - return {}; - } - - if (auto mw = getRandomMainWindow()) { - params.mainWindowName = mw->uniqueName(); - } else { - qWarning() << Q_FUNC_INFO << "No main widgets exist yet!"; - return {}; - } - - if (getRandomBool()) { - if (auto rt = getRandomRelativeTo(params.mainWindow(), params.dockWidget())) { - params.relativeToName = rt->uniqueName(); - } - } - - params.location = getRandomLocation(); - params.addingOption = InitialVisibilityOption::StartVisible; // TODO: Test the other ones - - return params; -} - -MainWindowBase *Fuzzer::getRandomMainWindow() -{ - auto windows = DockRegistry::self()->mainwindows(); - if (windows.isEmpty()) { - qWarning() << Q_FUNC_INFO << "No MainWindows exist yet!"; - return nullptr; - } - - return windows.first(); -} - -DockWidgetBase *Fuzzer::getRandomDockWidget(const DockWidgetBase::List &excluding) -{ - auto docks = DockRegistry::self()->dockwidgets(); - for (auto dw : excluding) - docks.removeOne(dw); - - if (docks.isEmpty()) - return nullptr; - - std::uniform_int_distribution<> locationDistrib(0, docks.size() - 1); - return docks[locationDistrib(m_randomEngine)]; -} - -DockWidgetBase *Fuzzer::getRandomRelativeTo(MainWindowBase *mainWindow, DockWidgetBase *excluding) -{ - auto docks = DockRegistry::self()->dockwidgets(); - - DockWidgetBase::List candidates; - - for (DockWidgetBase *dw : docks) { - if (dw != excluding && dw->window() == mainWindow) - candidates << dw; - } - - if (candidates.isEmpty()) - return nullptr; - - std::uniform_int_distribution<> locationDistrib(0, candidates.size() - 1); - return candidates[locationDistrib(m_randomEngine)]; -} - -Location Fuzzer::getRandomLocation() -{ - std::uniform_int_distribution<> locationDistrib(1, 4); - return Location(locationDistrib(m_randomEngine)); -} - -QPoint Fuzzer::getRandomPos() -{ - std::uniform_int_distribution<> posDistrib(0, 500); - const int x = posDistrib(m_randomEngine); - const int y = posDistrib(m_randomEngine); - return { x, y }; -} - -OperationBase::Ptr Fuzzer::getRandomOperation() -{ - std::uniform_int_distribution<> operationDistrib(OperationType_None + 1, OperationType_Count - 1); - auto operationType = OperationType(operationDistrib(m_randomEngine)); - - return OperationBase::newOperation(this, operationType); -} - -Fuzzer::Test Fuzzer::generateRandomTest() -{ - Fuzzer::Test test; - test.initialLayout = generateRandomLayout(); - - const int numOperationsPerTest = OPERATIONS_PER_TEST; - test.operations.reserve(numOperationsPerTest); - for (int i = 0; i < numOperationsPerTest; ++i) - test.operations << getRandomOperation(); - - return test; -} - -Fuzzer::Test::List Fuzzer::generateRandomTests(int num) -{ - Fuzzer::Test::List tests; - - for (int i = 0; i < num; ++i) { - tests << generateRandomTest(); - } - - return tests; -} - -void Fuzzer::fuzz(FuzzerConfig config) -{ - const Fuzzer::Test::List tests = generateRandomTests(config.numTests); - qDebug().noquote() << "Running" << QString("%1 tests...").arg(tests.size()); - - for (const auto &test : tests) { - runTest(test); - } -} - -void Fuzzer::fuzz(const QStringList &jsonFiles) -{ - if (jsonFiles.size() > 1 && (m_options & Option_SkipLast)) { - qFatal("Use -d only when passing a single json file"); - } - - for (const QString &jsonFile : jsonFiles) - fuzz(jsonFile); -} - -void Fuzzer::fuzz(const QString &jsonFile) -{ - m_currentJsonFile = jsonFile; - qDebug() << "\n" - << Q_FUNC_INFO << jsonFile; - QFile file(jsonFile); - if (file.open(QIODevice::ReadOnly)) { - QJsonDocument doc = QJsonDocument::fromJson(file.readAll()); - const QVariantMap map = doc.toVariant().toMap(); - Test test = Test::fromVariantMap(this, map); - runTest(test); - } else { - qWarning() << Q_FUNC_INFO << "Failed to open file" << jsonFile; - } -} - -QRect Fuzzer::randomGeometry() -{ - std::uniform_int_distribution<> posDistrib(0, 500); - std::uniform_int_distribution<> sizeDistrib(700, 1500); - const int width = posDistrib(m_randomEngine); - const int height = sizeDistrib(m_randomEngine); - - QPoint pos = getRandomPos(); - - return QRect(pos, QSize(width, height)); -} - -void Fuzzer::onFatal() -{ - if (m_dumpJsonOnFailure) { - // Tests failed! Let's dump - m_currentTest.dumpToJsonFile("fuzzer_dump.json"); - } - - if (!m_currentJsonFile.isEmpty()) { - qDebug() << "failed json: " << m_currentJsonFile; - } -} - -void Fuzzer::setDelayBetweenOperations(int delay) -{ - m_operationDelayMS = delay; -} - -QByteArray Fuzzer::lastSavedLayout() const -{ - return m_lastSavedLayout; -} - -void Fuzzer::setLastSavedLayout(const QByteArray &serialized) -{ - m_lastSavedLayout = serialized; -} - -void Fuzzer::Test::dumpToJsonFile(const QString &filename) const -{ - const QVariantMap map = toVariantMap(); - QJsonDocument jsonDoc = QJsonDocument::fromVariant(map); - QFile file(filename); - if (file.open(QIODevice::WriteOnly)) { - file.write(jsonDoc.toJson()); - } else { - qDebug() << Q_FUNC_INFO << "Error opening file"; - } - file.close(); -} diff --git a/tests/fuzzer/Fuzzer.h b/tests/fuzzer/Fuzzer.h deleted file mode 100644 index 722081b1..00000000 --- a/tests/fuzzer/Fuzzer.h +++ /dev/null @@ -1,283 +0,0 @@ -/* - This file is part of KDDockWidgets. - - SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company - Author: Sérgio Martins - - SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only - - Contact KDAB at for commercial licensing options. -*/ - -// We don't care about performance related checks in the tests -// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations - -#ifndef KDDOCKWIDGETS_FUZZER_H -#define KDDOCKWIDGETS_FUZZER_H - -#include "../Testing.h" -#include "MainWindowBase.h" -#include "Operations.h" - -#include -#include - -#include - -namespace KDDockWidgets { -namespace Testing { - -static QVariantMap sizeToVariantMap(QSize sz) -{ - QVariantMap map; - map["width"] = sz.width(); - map["height"] = sz.height(); - return map; -} - -static QVariantMap rectToVariantMap(QRect r) -{ - QVariantMap map; - map["size"] = sizeToVariantMap(r.size()); - map["x"] = r.x(); - map["y"] = r.y(); - return map; -} - -static QSize sizeFromVariantMap(const QVariantMap &map) -{ - return { map["width"].toInt(), map["height"].toInt() }; -} - -static QRect rectFromVariantMap(const QVariantMap &map) -{ - const QSize sz = sizeFromVariantMap(map["size"].toMap()); - return { map["x"].toInt(), map["y"].toInt(), sz.width(), sz.height() }; -} - -class Fuzzer : public QObject, WarningObserver -{ - Q_OBJECT -public: - enum Option { - Option_None = 0, - Option_NoQuit = 1, ///< Don't quit when the tests finish. So we can debug in gammaray - Option_SkipLast = 2 ///< Don't execute the last test. Useful when the last one is the failing one and we want to inspect the state prior to crash - }; - Q_DECLARE_FLAGS(Options, Option) - - struct FuzzerConfig - { - int numTests; - int numOperationsPerTest; - bool singleMainWindow; - }; - - struct DockWidgetDescriptor - { - typedef QVector List; - QString name; - QSize minSize; // the minSize of the hosted widget - QSize maxSize; - QRect geometry; - bool isFloating; - bool isVisible; - - QVariantMap toVariantMap() const - { - QVariantMap map; - map[QStringLiteral("name")] = name; - map[QStringLiteral("minSize")] = sizeToVariantMap(minSize); - map[QStringLiteral("maxSize")] = sizeToVariantMap(maxSize); - map[QStringLiteral("geometry")] = rectToVariantMap(geometry); - map[QStringLiteral("isFloating")] = isFloating; - map[QStringLiteral("isVisible")] = isVisible; - - return map; - } - - static DockWidgetDescriptor fromVariantMap(const QVariantMap &map) - { - DockWidgetDescriptor dock; - - dock.name = map["name"].toString(); - dock.minSize = sizeFromVariantMap(map["minSize"].toMap()); - dock.maxSize = sizeFromVariantMap(map["maxSize"].toMap()); - dock.geometry = rectFromVariantMap(map["geometry"].toMap()); - dock.isFloating = map["isFloating"].toBool(); - dock.isVisible = map["isVisible"].toBool(); - - return dock; - } - }; - - struct MainWindowDescriptor - { - typedef QVector List; - QString name; - QRect geometry; - MainWindowOption mainWindowOption; - - QVariantMap toVariantMap() const - { - QVariantMap map; - map[QStringLiteral("name")] = name; - map[QStringLiteral("geometry")] = rectToVariantMap(geometry); - map[QStringLiteral("mainWindowOption")] = mainWindowOption; - return map; - } - - static MainWindowDescriptor fromVariantMap(const QVariantMap &map) - { - MainWindowDescriptor mainWindow; - - mainWindow.name = map["name"].toString(); - mainWindow.mainWindowOption = MainWindowOption(map["mainWindowOption"].toInt()); - mainWindow.geometry = rectFromVariantMap(map["geometry"].toMap()); - - return mainWindow; - } - }; - - struct Layout - { - typedef QVector List; - MainWindowDescriptor::List mainWindows; - DockWidgetDescriptor::List dockWidgets; - - QVariantMap toVariantMap() const - { - QVariantList mainWindowsVariant; - mainWindowsVariant.reserve(mainWindows.size()); - for (const auto &mw : mainWindows) { - mainWindowsVariant << mw.toVariantMap(); - } - - QVariantList dockWidgetsVariant; - dockWidgetsVariant.reserve(dockWidgets.size()); - for (const auto &dw : dockWidgets) { - dockWidgetsVariant << dw.toVariantMap(); - } - - QVariantMap map; - map[QStringLiteral("mainWindows")] = mainWindowsVariant; - map[QStringLiteral("dockWidgets")] = dockWidgetsVariant; - return map; - } - - - static Layout fromVariantMap(const QVariantMap &map) - { - Layout l; - - const QVariantList mainWindows = map["mainWindows"].toList(); - const QVariantList dockWidgets = map["dockWidgets"].toList(); - - l.mainWindows.reserve(mainWindows.size()); - for (const QVariant &mainwindow : mainWindows) - l.mainWindows.push_back(MainWindowDescriptor::fromVariantMap(mainwindow.toMap())); - - l.dockWidgets.reserve(dockWidgets.size()); - for (const QVariant &dockWidget : dockWidgets) - l.dockWidgets.push_back(DockWidgetDescriptor::fromVariantMap(dockWidget.toMap())); - - return l; - } - }; - - struct Test - { - typedef QVector List; - Layout initialLayout; - Operations::OperationBase::List operations; - - void dumpToJsonFile(const QString &filename) const; - - QVariantMap toVariantMap() const - { - QVariantMap map; - map[QStringLiteral("initialLayout")] = initialLayout.toVariantMap(); - - QVariantList operationsVariant; - operationsVariant.reserve(operations.size()); - for (const auto &o : operations) { - QVariantMap operationVariant = o->toVariantMap(); - if (operationVariant.isEmpty()) - continue; - - operationsVariant << operationVariant; - } - - map[QStringLiteral("operations")] = operationsVariant; - return map; - } - - static Test fromVariantMap(Fuzzer *fuzzer, const QVariantMap &map) - { - Test t; - t.initialLayout = Layout::fromVariantMap(map["initialLayout"].toMap()); - - const QVariantList operations = map["operations"].toList(); - t.operations.reserve(operations.size()); - for (const QVariant &operation : operations) - t.operations.push_back(Operations::OperationBase::fromVariantMap(fuzzer, operation.toMap())); - - return t; - } - }; - - void runTest(const Test &); - - explicit Fuzzer(bool dumpJsonOnFailure, Options, QObject *parent = nullptr); - - Fuzzer::Layout generateRandomLayout(); - - Fuzzer::DockWidgetDescriptor generateRandomDockWidget(); - - Fuzzer::DockWidgetDescriptor::List generateRandomDockWidgets(int num); - - bool getRandomBool(int truePercentage = 50); - - Testing::AddDockWidgetParams getRandomAddDockWidgetParams(); - - KDDockWidgets::MainWindowBase *getRandomMainWindow(); - KDDockWidgets::DockWidgetBase *getRandomDockWidget(const DockWidgetBase::List &excluding = {}); - KDDockWidgets::DockWidgetBase *getRandomRelativeTo(MainWindowBase *mainWindow, - DockWidgetBase *excluding); - - KDDockWidgets::Location getRandomLocation(); - - QPoint getRandomPos(); - - Operations::OperationBase::Ptr getRandomOperation(); - - Fuzzer::Test generateRandomTest(); - Fuzzer::Test::List generateRandomTests(int num); - - void fuzz(FuzzerConfig config); - void fuzz(const QStringList &jsonFiles); - void fuzz(const QString &json); - - QRect randomGeometry(); - - void onFatal() override; - void setDelayBetweenOperations(int delay); - - QByteArray lastSavedLayout() const; - void setLastSavedLayout(const QByteArray &serialized); - -private: - std::random_device m_randomDevice; - std::mt19937 m_randomEngine; - Fuzzer::Test m_currentTest; - QString m_currentJsonFile; - const bool m_dumpJsonOnFailure; - int m_operationDelayMS = 50; - const Options m_options; - QByteArray m_lastSavedLayout; -}; - -} -} - -#endif diff --git a/tests/fuzzer/Operations.cpp b/tests/fuzzer/Operations.cpp deleted file mode 100644 index 8e5a6d15..00000000 --- a/tests/fuzzer/Operations.cpp +++ /dev/null @@ -1,483 +0,0 @@ -/* - This file is part of KDDockWidgets. - - SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company - Author: Sérgio Martins - - SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only - - Contact KDAB at for commercial licensing options. -*/ - -// We don't care about performance related checks in the tests -// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations - -#include "Operations.h" -#include "../Testing.h" -#include "DockRegistry_p.h" -#include "DockWidgetBase.h" -#include "DockWidgetBase_p.h" -#include "FloatingWindow_p.h" -#include "Frame_p.h" -#include "Fuzzer.h" - -#include - -using namespace KDDockWidgets; -using namespace KDDockWidgets::Testing; -using namespace KDDockWidgets::Testing::Operations; - -static QString operationTypeStr(OperationType optype) -{ - return QMetaEnum::fromType().valueToKey(optype); -} - -OperationBase::OperationBase(KDDockWidgets::Testing::Operations::OperationType type, Fuzzer *fuzzer) - : m_operationType(type) - , m_fuzzer(fuzzer) -{ -} - -OperationBase::~OperationBase() -{ -} - -void OperationBase::execute() -{ - if (!hasParams()) - generateRandomParams(); - - if (hasParams()) { // Check again, as generateRandomParams() is not guaranteed - updateDescription(); - execute_impl(); - - if (m_sleepMS > 0) - QTest::qWait(m_sleepMS); - } -} - -QVariantMap OperationBase::toVariantMap() const -{ - const QVariantMap params = paramsToVariantMap(); - if (!hasParams()) - return {}; - - QVariantMap map; - map["type"] = m_operationType; - map["params"] = params; - map["comment"] = description(); - - return map; -} - -OperationBase::Ptr OperationBase::fromVariantMap(Fuzzer *fuzzer, const QVariantMap &map) -{ - if (!map.contains("type") || !map.contains("params")) { - qDebug() << Q_FUNC_INFO << "Invalid map"; - return {}; - } - - auto operationType = OperationType(map["type"].toInt()); - - OperationBase::Ptr ptr = OperationBase::newOperation(fuzzer, operationType); - if (ptr) { - const QVariantMap params = map["params"].toMap(); - if (params.isEmpty()) { - qDebug() << Q_FUNC_INFO << "Invalid params"; - } else { - ptr->fillParamsFromVariantMap(params); - } - - if (map.contains("pause")) - ptr->m_sleepMS = map["pause"].toInt(); - } else { - qDebug() << Q_FUNC_INFO << "Failed to fill params"; - } - - return ptr; -} - -OperationBase::Ptr OperationBase::newOperation(Fuzzer *fuzzer, OperationType type) -{ - OperationBase::Ptr ptr; - - switch (type) { - case OperationType_Count: - case OperationType_None: - qDebug() << Q_FUNC_INFO << "Invalid type"; - break; - case OperationType_CloseViaDockWidgetAPI: - ptr = OperationBase::Ptr(new CloseViaDockWidgetAPI(fuzzer)); - break; - case OperationType_HideViaDockWidgetAPI: - ptr = OperationBase::Ptr(new HideViaDockWidgetAPI(fuzzer)); - break; - case OperationType_ShowViaDockWidgetAPI: - ptr = OperationBase::Ptr(new ShowViaDockWidgetAPI(fuzzer)); - break; - case OperationType_AddDockWidget: - ptr = OperationBase::Ptr(new AddDockWidget(fuzzer)); - break; - case OperationType_AddDockWidgetAsTab: - ptr = OperationBase::Ptr(new AddDockWidgetAsTab(fuzzer)); - break; - case OperationType_SaveLayout: - ptr = OperationBase::Ptr(new SaveLayout(fuzzer)); - break; - case OperationType_RestoreLayout: - ptr = OperationBase::Ptr(new RestoreLayout(fuzzer)); - break; - } - - return ptr; -} - -QString OperationBase::toString() -{ - if (m_description.isEmpty()) - updateDescription(); - - return QStringLiteral("type=%1;description=%2").arg(operationTypeStr(m_operationType), m_description); -} - -DockWidgetBase *OperationBase::dockByName(const QString &name) const -{ - return DockRegistry::self()->dockByName(name); -} - -MainWindowBase *OperationBase::mainWindowByName(const QString &name) const -{ - return DockRegistry::self()->mainWindowByName(name); -} - -QString OperationBase::dockStr(const QString &name) const -{ - if (auto dw = dockByName(name)) { - if (dw->isVisible()) - return name; - return QStringLiteral("%1-[hidden]").arg(name); - } else { - return QStringLiteral("null"); - } -} - -CloseViaDockWidgetAPI::CloseViaDockWidgetAPI(Fuzzer *fuzzer) - : OperationBase(OperationType_CloseViaDockWidgetAPI, fuzzer) -{ -} - -void CloseViaDockWidgetAPI::generateRandomParams() -{ - if (DockWidgetBase *dw = m_fuzzer->getRandomDockWidget()) - if (dw->isVisible()) - m_dockWidgetName = dw->uniqueName(); -} - -bool CloseViaDockWidgetAPI::hasParams() const -{ - return !m_dockWidgetName.isEmpty(); -} - -void CloseViaDockWidgetAPI::updateDescription() -{ - m_description = QStringLiteral("Closing %1").arg(dockStr(m_dockWidgetName)); -} - -void CloseViaDockWidgetAPI::execute_impl() -{ - DockWidgetBase *dw = dockByName(m_dockWidgetName); - auto fw = dw->floatingWindow(); - dw->close(); - if (fw && fw->beingDeleted()) - Testing::waitForDeleted(fw); -} - -QVariantMap CloseViaDockWidgetAPI::paramsToVariantMap() const -{ - QVariantMap map; - if (!m_dockWidgetName.isEmpty()) - map["dockWidgetName"] = m_dockWidgetName; - return map; -} - -void CloseViaDockWidgetAPI::fillParamsFromVariantMap(const QVariantMap &map) -{ - m_dockWidgetName = map["dockWidgetName"].toString(); -} - -HideViaDockWidgetAPI::HideViaDockWidgetAPI(Fuzzer *fuzzer) - : OperationBase(OperationType_HideViaDockWidgetAPI, fuzzer) -{ -} - -void HideViaDockWidgetAPI::generateRandomParams() -{ - if (DockWidgetBase *dw = m_fuzzer->getRandomDockWidget()) - if (dw->isVisible()) - m_dockWidgetName = dw->uniqueName(); -} - -bool HideViaDockWidgetAPI::hasParams() const -{ - return !m_dockWidgetName.isEmpty(); -} - -void HideViaDockWidgetAPI::updateDescription() -{ - m_description = QStringLiteral("Hiding %1").arg(dockStr(m_dockWidgetName)); -} - -void HideViaDockWidgetAPI::execute_impl() -{ - DockWidgetBase *dw = dockByName(m_dockWidgetName); - if (!dw) { - qDebug() << Q_FUNC_INFO << "not found" << m_dockWidgetName; - Q_ASSERT(false); - } - - auto fw = dw->floatingWindow(); - dw->close(); - if (fw && fw->beingDeleted()) - Testing::waitForDeleted(fw); -} - -QVariantMap HideViaDockWidgetAPI::paramsToVariantMap() const -{ - QVariantMap map; - if (!m_dockWidgetName.isEmpty()) - map["dockWidgetName"] = m_dockWidgetName; - return map; -} - -void HideViaDockWidgetAPI::fillParamsFromVariantMap(const QVariantMap &map) -{ - m_dockWidgetName = map["dockWidgetName"].toString(); -} - -ShowViaDockWidgetAPI::ShowViaDockWidgetAPI(Fuzzer *fuzzer) - : OperationBase(OperationType_ShowViaDockWidgetAPI, fuzzer) -{ -} - -void ShowViaDockWidgetAPI::generateRandomParams() -{ - if (DockWidgetBase *dw = m_fuzzer->getRandomDockWidget()) - if (!dw->isVisible()) - m_dockWidgetName = dw->uniqueName(); -} - -bool ShowViaDockWidgetAPI::hasParams() const -{ - return !m_dockWidgetName.isEmpty(); -} - -void ShowViaDockWidgetAPI::updateDescription() -{ - m_description = QStringLiteral("Showing %1").arg(dockStr(m_dockWidgetName)); -} - -void ShowViaDockWidgetAPI::execute_impl() -{ - DockWidgetBase *dw = dockByName(m_dockWidgetName); - dw->show(); -} - -QVariantMap ShowViaDockWidgetAPI::paramsToVariantMap() const -{ - QVariantMap map; - if (!m_dockWidgetName.isEmpty()) - map["dockWidgetName"] = m_dockWidgetName; - return map; -} - -void ShowViaDockWidgetAPI::fillParamsFromVariantMap(const QVariantMap &map) -{ - m_dockWidgetName = map["dockWidgetName"].toString(); -} - -AddDockWidget::AddDockWidget(Fuzzer *fuzzer) - : OperationBase(OperationType_AddDockWidget, fuzzer) -{ -} - -void AddDockWidget::generateRandomParams() -{ - m_params = m_fuzzer->getRandomAddDockWidgetParams(); -} - -bool AddDockWidget::hasParams() const -{ - return !m_params.isNull(); -} - -void AddDockWidget::updateDescription() -{ - if (m_params.relativeToName.isEmpty()) - m_description = QStringLiteral("AddDockWidget %1 to %2").arg(dockStr(m_params.dockWidgetName), KDDockWidgets::locationStr(m_params.location)); - else - m_description = QStringLiteral("AddDockWidget %1 to %2, relative to %3").arg(dockStr(m_params.dockWidgetName), KDDockWidgets::locationStr(m_params.location), dockStr(m_params.relativeToName)); -} - -void AddDockWidget::execute_impl() -{ - auto fw = m_params.dockWidget()->floatingWindow(); - m_params.mainWindow()->addDockWidget(m_params.dockWidget(), m_params.location, - m_params.relativeTo(), m_params.addingOption); - if (fw && fw->beingDeleted()) - Testing::waitForDeleted(fw); -} - -QVariantMap AddDockWidget::paramsToVariantMap() const -{ - return m_params.isNull() ? QVariantMap() - : m_params.toVariantMap(); -} - -void AddDockWidget::fillParamsFromVariantMap(const QVariantMap &map) -{ - m_params = AddDockWidgetParams::fillFromVariantMap(map); -} - -AddDockWidgetAsTab::AddDockWidgetAsTab(Fuzzer *fuzzer) - : OperationBase(OperationType_AddDockWidgetAsTab, fuzzer) -{ -} - -void AddDockWidgetAsTab::generateRandomParams() -{ - DockWidgetBase *dw = m_fuzzer->getRandomDockWidget(); - if (!dw) - return; - - DockWidgetBase *dw2 = nullptr; - - if (auto frame = dw->d->frame()) { - auto toExclude = frame->dockWidgets(); - for (auto dockWidget : DockRegistry::self()->dockwidgets()) { - if (dockWidget->window() == dw->window()) - toExclude.push_back(dockWidget); - } - - dw2 = m_fuzzer->getRandomDockWidget(toExclude); - } - - if (!dw2) - return; - m_dockWidgetName = dw->uniqueName(); - m_dockWidgetToAddName = dw2->uniqueName(); -} - -bool AddDockWidgetAsTab::hasParams() const -{ - return !m_dockWidgetName.isEmpty() && !m_dockWidgetToAddName.isEmpty(); -} - -void AddDockWidgetAsTab::updateDescription() -{ - m_description = QStringLiteral("AddDockWidgetAsTab %1 onto %2").arg(dockStr(m_dockWidgetToAddName), dockStr(m_dockWidgetName)); -} - -void AddDockWidgetAsTab::execute_impl() -{ - DockWidgetBase *dw = dockByName(m_dockWidgetName); - DockWidgetBase *dw2 = dockByName(m_dockWidgetToAddName); - - auto fw = dw2->floatingWindow(); - dw->addDockWidgetAsTab(dw2); - if (fw && fw->beingDeleted()) - Testing::waitForDeleted(fw); -} - -QVariantMap AddDockWidgetAsTab::paramsToVariantMap() const -{ - QVariantMap map; - - if (hasParams()) { - map["dockWidgetName"] = m_dockWidgetName; - map["dockWidgetToAddName"] = m_dockWidgetToAddName; - } - - return map; -} - -void AddDockWidgetAsTab::fillParamsFromVariantMap(const QVariantMap &map) -{ - m_dockWidgetName = map["dockWidgetName"].toString(); - m_dockWidgetToAddName = map["dockWidgetToAddName"].toString(); -} - -SaveLayout::SaveLayout(Fuzzer *fuzzer) - : OperationBase(OperationType_SaveLayout, fuzzer) -{ -} - -bool SaveLayout::hasParams() const -{ - return true; -} - -void SaveLayout::updateDescription() -{ - m_description = QStringLiteral("SaveLayout"); -} - -void SaveLayout::execute_impl() -{ - LayoutSaver saver; - m_fuzzer->setLastSavedLayout(saver.serializeLayout()); - - qDebug() << m_fuzzer << m_fuzzer->lastSavedLayout().isEmpty(); -} - -void SaveLayout::generateRandomParams() -{ -} - -QVariantMap SaveLayout::paramsToVariantMap() const -{ - return {}; -} - -void SaveLayout::fillParamsFromVariantMap(const QVariantMap &) -{ -} - -RestoreLayout::RestoreLayout(Fuzzer *fuzzer) - : OperationBase(OperationType_RestoreLayout, fuzzer) -{ -} - -bool RestoreLayout::hasParams() const -{ - return true; -} - -void RestoreLayout::updateDescription() -{ - m_description = QStringLiteral("RestoreLayout"); -} - -void RestoreLayout::execute_impl() -{ - QByteArray serialized = m_fuzzer->lastSavedLayout(); - if (serialized.isEmpty()) { - qDebug() << "Skipping, nothing to restore"; - return; - } - - LayoutSaver saver; - saver.restoreLayout(serialized); -} - -void RestoreLayout::generateRandomParams() -{ -} - -QVariantMap RestoreLayout::paramsToVariantMap() const -{ - return {}; -} - -void RestoreLayout::fillParamsFromVariantMap(const QVariantMap &) -{ -} diff --git a/tests/fuzzer/Operations.h b/tests/fuzzer/Operations.h deleted file mode 100644 index 597e22a3..00000000 --- a/tests/fuzzer/Operations.h +++ /dev/null @@ -1,217 +0,0 @@ -/* - This file is part of KDDockWidgets. - - SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company - Author: Sérgio Martins - - SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only - - Contact KDAB at for commercial licensing options. -*/ - -// We don't care about performance related checks in the tests -// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations - -#ifndef KDDOCKWIDGETS_TESTING_OPERATIONS_H -#define KDDOCKWIDGETS_TESTING_OPERATIONS_H - -#include "KDDockWidgets.h" -#include "../Testing.h" - -#include -#include -#include - -#include - -namespace KDDockWidgets { - -class DockWidgetBase; -class MainWindowBase; - -namespace Testing { - -class Fuzzer; - -namespace Operations { -Q_NAMESPACE -enum OperationType { - OperationType_None = 0, - OperationType_CloseViaDockWidgetAPI, ///< Closing programmatically via DockWidget::close() - OperationType_HideViaDockWidgetAPI, ///< Hiding programmatically via DockWidget::hide() - OperationType_ShowViaDockWidgetAPI, ///< Hiding programmatically via DockWidget::show() - OperationType_AddDockWidget, ///< MainWindow::addDockWidget() - OperationType_AddDockWidgetAsTab, ///< DockWidget::addDockWidgetAsTab() - OperationType_SaveLayout, ///< LayoutSaver::saveLayout() - OperationType_RestoreLayout, ///< LayoutSaver::restoreLayout() - OperationType_Count /// Keep at end -}; -Q_ENUM_NS(OperationType) - - -///@brief Describes a testable action. -class OperationBase -{ - Q_DISABLE_COPY(OperationBase) -public: - typedef std::shared_ptr Ptr; - typedef QVector List; - explicit OperationBase(OperationType, Fuzzer *); - virtual ~OperationBase(); - - void execute(); - - QVariantMap toVariantMap() const; - static OperationBase::Ptr fromVariantMap(Fuzzer *fuzzer, const QVariantMap &); - static OperationBase::Ptr newOperation(Fuzzer *fuzzer, OperationType); - - OperationType type() const - { - return m_operationType; - } - QString description() const - { - return m_description; - } - - virtual void updateDescription() = 0; - virtual bool hasParams() const = 0; - QString toString(); - -protected: - virtual void execute_impl() = 0; - virtual void generateRandomParams() = 0; - virtual QVariantMap paramsToVariantMap() const = 0; - virtual void fillParamsFromVariantMap(const QVariantMap &) = 0; - DockWidgetBase *dockByName(const QString &) const; - MainWindowBase *mainWindowByName(const QString &) const; - QString dockStr(const QString &name) const; - - const OperationType m_operationType; - Fuzzer *const m_fuzzer; - int m_sleepMS = 0; - QString m_description; -}; - -class CloseViaDockWidgetAPI : public OperationBase -{ - Q_DISABLE_COPY(CloseViaDockWidgetAPI) -public: - explicit CloseViaDockWidgetAPI(Fuzzer *); - -protected: - void updateDescription() override; - void generateRandomParams() override; - bool hasParams() const override; - void execute_impl() override; - QVariantMap paramsToVariantMap() const override; - void fillParamsFromVariantMap(const QVariantMap &) override; - QString m_dockWidgetName; -}; - -class HideViaDockWidgetAPI : public OperationBase -{ - Q_DISABLE_COPY(HideViaDockWidgetAPI) -public: - explicit HideViaDockWidgetAPI(Fuzzer *); - -protected: - void generateRandomParams() override; - bool hasParams() const override; - void updateDescription() override; - void execute_impl() override; - QVariantMap paramsToVariantMap() const override; - void fillParamsFromVariantMap(const QVariantMap &) override; - QString m_dockWidgetName; -}; - -class ShowViaDockWidgetAPI : public OperationBase -{ - Q_DISABLE_COPY(ShowViaDockWidgetAPI) -public: - explicit ShowViaDockWidgetAPI(Fuzzer *); - -protected: - void generateRandomParams() override; - bool hasParams() const override; - void updateDescription() override; - void execute_impl() override; - QVariantMap paramsToVariantMap() const override; - void fillParamsFromVariantMap(const QVariantMap &) override; - QString m_dockWidgetName; -}; - -class AddDockWidget : public OperationBase -{ - Q_DISABLE_COPY(AddDockWidget) -public: - explicit AddDockWidget(Fuzzer *); - -protected: - void generateRandomParams() override; - bool hasParams() const override; - void updateDescription() override; - void execute_impl() override; - QVariantMap paramsToVariantMap() const override; - void fillParamsFromVariantMap(const QVariantMap &) override; - -private: - Testing::AddDockWidgetParams m_params; -}; - -class AddDockWidgetAsTab : public OperationBase -{ - Q_DISABLE_COPY(AddDockWidgetAsTab) -public: - explicit AddDockWidgetAsTab(Fuzzer *); - -protected: - void generateRandomParams() override; - bool hasParams() const override; - void updateDescription() override; - void execute_impl() override; - QVariantMap paramsToVariantMap() const override; - void fillParamsFromVariantMap(const QVariantMap &) override; - -private: - QString m_dockWidgetName; - QString m_dockWidgetToAddName; -}; - -class SaveLayout : public OperationBase -{ - Q_DISABLE_COPY(SaveLayout) -public: - explicit SaveLayout(Fuzzer *); - -protected: - bool hasParams() const override; - void updateDescription() override; - void execute_impl() override; - - void generateRandomParams() override; - QVariantMap paramsToVariantMap() const override; - void fillParamsFromVariantMap(const QVariantMap &) override; -}; - -class RestoreLayout : public OperationBase -{ - Q_DISABLE_COPY(RestoreLayout) -public: - explicit RestoreLayout(Fuzzer *); - -protected: - bool hasParams() const override; - void updateDescription() override; - void execute_impl() override; - - void generateRandomParams() override; - QVariantMap paramsToVariantMap() const override; - void fillParamsFromVariantMap(const QVariantMap &) override; -}; - -} -} -} - -#endif diff --git a/tests/fuzzer/main.cpp b/tests/fuzzer/main.cpp deleted file mode 100644 index 44b1096a..00000000 --- a/tests/fuzzer/main.cpp +++ /dev/null @@ -1,104 +0,0 @@ -/* - This file is part of KDDockWidgets. - - SPDX-FileCopyrightText: 2019-2023 Klarälvdalens Datakonsult AB, a KDAB Group company - Author: Sérgio Martins - - SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only - - Contact KDAB at for commercial licensing options. -*/ - -// We don't care about performance related checks in the tests -// clazy:excludeall=ctor-missing-parent-argument,missing-qobject-macro,range-loop,missing-typeinfo,detaching-member,function-args-by-ref,non-pod-global-static,reserve-candidates,qstring-allocations - -#include "Fuzzer.h" -#include "DockRegistry_p.h" -#include "../utils.h" - -#include -#include -#include -#include -#include -#include - -using namespace KDDockWidgets; -using namespace KDDockWidgets::Testing; - -int main(int argc, char **argv) -{ - if (!qpaPassedAsArgument(argc, argv)) { - // Use offscreen by default as it's less annoying, doesn't create visible windows - qputenv("QT_QPA_PLATFORM", "offscreen"); - } - - QApplication app(argc, argv); - - QCommandLineParser parser; - parser.setApplicationDescription("Fuzzer Help"); - parser.addPositionalArgument("json", QCoreApplication::translate("main", "json file to load")); - - QCommandLineOption slowDownOption("s", QCoreApplication::translate("main", "Slowdown tests. Adds a 1 second delay between operations")); - parser.addOption(slowDownOption); - - QCommandLineOption forceDumpJsonOption("f", QCoreApplication::translate("main", "Dump json of the test even if we're already loading a test.")); - parser.addOption(forceDumpJsonOption); - - QCommandLineOption loopOption("l", QCoreApplication::translate("main", "Loops until it crashes")); - parser.addOption(loopOption); - - QCommandLineOption skipLastOption("a", QCoreApplication::translate("main", "Skips the last test (presumably failing)")); - parser.addOption(skipLastOption); - - QCommandLineOption noQuitOption("n", QCoreApplication::translate("main", "Don't quit at the end, keep event loop running for debugging")); - parser.addOption(noQuitOption); - - parser.addHelpOption(); - parser.process(app); - - const bool slowDown = parser.isSet(slowDownOption); - const bool forceDumpJson = parser.isSet(forceDumpJsonOption); - - const QStringList filesToLoad = parser.positionalArguments(); - const bool dumpToJsonOnFatal = forceDumpJson || filesToLoad.isEmpty(); - - - Fuzzer::Options options = Fuzzer::Option_None; - if (parser.isSet(skipLastOption)) - options |= Fuzzer::Option_SkipLast; - - if (parser.isSet(noQuitOption)) - options |= Fuzzer::Option_NoQuit; - - const bool loops = parser.isSet(loopOption); - - Fuzzer fuzzer(dumpToJsonOnFatal, options); - if (slowDown) - fuzzer.setDelayBetweenOperations(1000); - - for (const QString &file : filesToLoad) { - if (!QFile::exists(file)) { - std::cerr << "\nFile doesn't exist: " << file.toStdString() << "\n"; - return 0; - } - } - - QTimer::singleShot(0, &fuzzer, [&app, &fuzzer, filesToLoad, loops, options] { - if (filesToLoad.isEmpty()) { - do { - fuzzer.fuzz({ 1, 10, true }); - } while (loops); - } else { - fuzzer.fuzz(filesToLoad); - } - - if (!(options & Fuzzer::Option_NoQuit)) { - // if noQuit is true we keep the app running so it can be debugged - app.quit(); - } - }); - - app.setQuitOnLastWindowClosed(false); - return app.exec(); -} diff --git a/tests/fuzzer/testcases/1.json b/tests/fuzzer/testcases/1.json deleted file mode 100644 index c4a3002f..00000000 --- a/tests/fuzzer/testcases/1.json +++ /dev/null @@ -1,138 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 593, - "width": 861 - }, - "x": 55, - "y": 296 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 373, - "width": 344 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 564, - "width": 1097 - }, - "x": 88, - "y": 430 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 170, - "width": 600 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 350, - "width": 1108 - }, - "x": 384, - "y": 279 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 295, - "width": 554 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 1040, - "width": 960 - }, - "x": 325, - "y": 313 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 480, - "width": 565 - }, - "name": "DockWidget-4" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 961, - "width": 472 - }, - "x": 232, - "y": 79 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-2 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4-[hidden]", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-1 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - } - ] -} diff --git a/tests/fuzzer/testcases/10.json b/tests/fuzzer/testcases/10.json deleted file mode 100644 index 912b0c91..00000000 --- a/tests/fuzzer/testcases/10.json +++ /dev/null @@ -1,761 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 773, - "width": 974 - }, - "x": 199, - "y": 406 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 578, - "width": 440 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 596, - "width": 981 - }, - "x": 37, - "y": 38 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 359, - "width": 436 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 414, - "width": 539 - }, - "x": 54, - "y": 343 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 216, - "width": 480 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 693, - "width": 878 - }, - "x": 392, - "y": 369 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 283, - "width": 367 - }, - "name": "DockWidget-4" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1275, - "width": 119 - }, - "x": 323, - "y": 257 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top, relative to DockWidget-1-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-4-[hidden]", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-4 to right, relative to DockWidget-1-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-1-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to top, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-4-[hidden]", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to right, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to right, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-4 to top, relative to DockWidget-3-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to top, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to right, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - } - ] -} diff --git a/tests/fuzzer/testcases/11.json b/tests/fuzzer/testcases/11.json deleted file mode 100644 index b955e63b..00000000 --- a/tests/fuzzer/testcases/11.json +++ /dev/null @@ -1,1243 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 482, - "width": 778 - }, - "x": 363, - "y": 464 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 228, - "width": 218 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 428, - "width": 756 - }, - "x": 409, - "y": 1 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 340, - "width": 442 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 441, - "width": 450 - }, - "x": 278, - "y": 113 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 267, - "width": 263 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 778, - "width": 521 - }, - "x": 107, - "y": 136 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 338, - "width": 239 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 1031, - "width": 644 - }, - "x": 223, - "y": 354 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 573, - "width": 257 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 847, - "width": 977 - }, - "x": 354, - "y": 213 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 496, - "width": 395 - }, - "name": "DockWidget-6" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1291, - "width": 15 - }, - "x": 206, - "y": 358 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to top, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-5-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-4 to top, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-5-[hidden]", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to right, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-2 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "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": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to top, relative to DockWidget-5", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-5" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to right, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-6 to bottom, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to bottom, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to right, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to bottom, relative to DockWidget-5", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-5" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-5 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to left, relative to DockWidget-5", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-5" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-4-[hidden]", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to top, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to left, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-5 to top, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-4 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-2 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-5 to top, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-6 to left, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-6 to left, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to right, relative to DockWidget-5-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-5" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-4 to left, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to right, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-5-[hidden]", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 3 - } - ] -} diff --git a/tests/fuzzer/testcases/12.json b/tests/fuzzer/testcases/12.json deleted file mode 100644 index d23164df..00000000 --- a/tests/fuzzer/testcases/12.json +++ /dev/null @@ -1,312 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 1070, - "width": 853 - }, - "x": 190, - "y": 86 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 490, - "width": 346 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 642, - "width": 724 - }, - "x": 24, - "y": 397 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 371, - "width": 373 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 615, - "width": 990 - }, - "x": 82, - "y": 295 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 436, - "width": 533 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 302, - "width": 937 - }, - "x": 276, - "y": 437 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 211, - "width": 363 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 867, - "width": 1159 - }, - "x": 66, - "y": 339 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 587, - "width": 570 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 552, - "width": 604 - }, - "x": 9, - "y": 442 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 427, - "width": 152 - }, - "name": "DockWidget-6" - }, - { - "geometry": { - "size": { - "height": 706, - "width": 561 - }, - "x": 397, - "y": 194 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 486, - "width": 388 - }, - "name": "DockWidget-7" - }, - { - "geometry": { - "size": { - "height": 612, - "width": 807 - }, - "x": 180, - "y": 243 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 164, - "width": 502 - }, - "name": "DockWidget-8" - }, - { - "geometry": { - "size": { - "height": 286, - "width": 549 - }, - "x": 448, - "y": 180 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 217, - "width": 408 - }, - "name": "DockWidget-9" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1047, - "width": 315 - }, - "x": 372, - "y": 487 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-6 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to bottom, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-8-[hidden]", - "params": { - "dockWidgetName": "DockWidget-8" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-1 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-8-[hidden] to bottom, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-8", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to left, relative to DockWidget-1", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8" - }, - "type": 1 - } - ] -} diff --git a/tests/fuzzer/testcases/13.json b/tests/fuzzer/testcases/13.json deleted file mode 100644 index ac129056..00000000 --- a/tests/fuzzer/testcases/13.json +++ /dev/null @@ -1,1250 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 399, - "width": 372 - }, - "x": 283, - "y": 273 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 150, - "width": 192 - }, - "name": "DockWidget-9" - }, - { - "geometry": { - "size": { - "height": 596, - "width": 743 - }, - "x": 389, - "y": 293 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 159, - "width": 360 - }, - "name": "DockWidget-10" - }, - { - "geometry": { - "size": { - "height": 952, - "width": 728 - }, - "x": 343, - "y": 150 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 569, - "width": 202 - }, - "name": "DockWidget-11" - }, - { - "geometry": { - "size": { - "height": 426, - "width": 785 - }, - "x": 348, - "y": 245 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 309, - "width": 344 - }, - "name": "DockWidget-12" - }, - { - "geometry": { - "size": { - "height": 798, - "width": 937 - }, - "x": 390, - "y": 5 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 288, - "width": 472 - }, - "name": "DockWidget-13" - }, - { - "geometry": { - "size": { - "height": 773, - "width": 692 - }, - "x": 427, - "y": 224 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 595, - "width": 172 - }, - "name": "DockWidget-14" - }, - { - "geometry": { - "size": { - "height": 495, - "width": 1074 - }, - "x": 379, - "y": 102 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 175, - "width": 588 - }, - "name": "DockWidget-15" - }, - { - "geometry": { - "size": { - "height": 664, - "width": 778 - }, - "x": 107, - "y": 325 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 480, - "width": 305 - }, - "name": "DockWidget-16" - }, - { - "geometry": { - "size": { - "height": 753, - "width": 362 - }, - "x": 479, - "y": 328 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 216, - "width": 191 - }, - "name": "DockWidget-17" - }, - { - "geometry": { - "size": { - "height": 638, - "width": 511 - }, - "x": 249, - "y": 50 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 152, - "width": 213 - }, - "name": "DockWidget-18" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1053, - "width": 452 - }, - "x": 247, - "y": 165 - }, - "mainWindowOption": 0, - "name": "MainWindow-2" - } - ] - }, - "operations": [ - { - "comment": "Closing DockWidget-16", - "params": { - "dockWidgetName": "DockWidget-16" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-15-[hidden]", - "params": { - "dockWidgetName": "DockWidget-15" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-11 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-11", - "location": 3, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-12", - "params": { - "dockWidgetName": "DockWidget-12" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-11 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-11", - "location": 4, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-11 onto DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9", - "dockWidgetToAddName": "DockWidget-11" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-15 onto DockWidget-9-[hidden]", - "params": { - "dockWidgetName": "DockWidget-9", - "dockWidgetToAddName": "DockWidget-15" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-12-[hidden]", - "params": { - "dockWidgetName": "DockWidget-12" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-10-[hidden]", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-11-[hidden]", - "params": { - "dockWidgetName": "DockWidget-11" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-17", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-14-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-14", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-17-[hidden] onto DockWidget-18", - "params": { - "dockWidgetName": "DockWidget-18", - "dockWidgetToAddName": "DockWidget-17" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-16-[hidden]", - "params": { - "dockWidgetName": "DockWidget-16" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-15", - "params": { - "dockWidgetName": "DockWidget-15" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-18-[hidden] onto DockWidget-11", - "params": { - "dockWidgetName": "DockWidget-11", - "dockWidgetToAddName": "DockWidget-18" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-14 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-14", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-17 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-11-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-11", - "location": 3, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-17", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-10-[hidden]", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-11", - "params": { - "dockWidgetName": "DockWidget-11" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-11-[hidden]", - "params": { - "dockWidgetName": "DockWidget-11" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-9-[hidden]", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-13 onto DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14", - "dockWidgetToAddName": "DockWidget-13" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-17-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 2, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-13", - "params": { - "dockWidgetName": "DockWidget-13" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-17 to right, relative to DockWidget-14", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 3, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-14" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-18", - "params": { - "dockWidgetName": "DockWidget-18" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-14 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-14", - "location": 4, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-18-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-18", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-9-[hidden]", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-13-[hidden] to bottom, relative to DockWidget-17", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-13", - "location": 4, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-17" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-13 to left, relative to DockWidget-11", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-13", - "location": 1, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-11" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-17 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-9 onto DockWidget-18", - "params": { - "dockWidgetName": "DockWidget-18", - "dockWidgetToAddName": "DockWidget-9" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-11", - "params": { - "dockWidgetName": "DockWidget-11" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-15-[hidden] onto DockWidget-12", - "params": { - "dockWidgetName": "DockWidget-12", - "dockWidgetToAddName": "DockWidget-15" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-12-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-12", - "location": 2, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-16", - "params": { - "dockWidgetName": "DockWidget-16" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-17", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-17-[hidden]", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-17 to left, relative to DockWidget-12", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 1, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-12" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-13", - "params": { - "dockWidgetName": "DockWidget-13" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-17", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-9-[hidden] to bottom, relative to DockWidget-18", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 4, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-18" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-10-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-10", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-14-[hidden]", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-12 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-12", - "location": 2, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-15", - "params": { - "dockWidgetName": "DockWidget-15" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-11-[hidden]", - "params": { - "dockWidgetName": "DockWidget-11" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-15-[hidden]", - "params": { - "dockWidgetName": "DockWidget-15" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-17-[hidden]", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-13-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-13", - "location": 4, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-15 onto DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9", - "dockWidgetToAddName": "DockWidget-15" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-13", - "params": { - "dockWidgetName": "DockWidget-13" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-11 to top, relative to DockWidget-9-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-11", - "location": 2, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-9" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-17 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 2, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-18 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-18", - "location": 2, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-17 to right, relative to DockWidget-18", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 3, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-18" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-15 to left, relative to DockWidget-10", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-15", - "location": 1, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-10" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-18", - "params": { - "dockWidgetName": "DockWidget-18" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-16-[hidden] onto DockWidget-17", - "params": { - "dockWidgetName": "DockWidget-17", - "dockWidgetToAddName": "DockWidget-16" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-18-[hidden] onto DockWidget-16", - "params": { - "dockWidgetName": "DockWidget-16", - "dockWidgetToAddName": "DockWidget-18" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-14-[hidden] onto DockWidget-12", - "params": { - "dockWidgetName": "DockWidget-12", - "dockWidgetToAddName": "DockWidget-14" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-15 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-15", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-16-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-16", - "location": 2, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-9 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 4, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-10-[hidden] onto DockWidget-18", - "params": { - "dockWidgetName": "DockWidget-18", - "dockWidgetToAddName": "DockWidget-10" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-16", - "params": { - "dockWidgetName": "DockWidget-16" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-11", - "params": { - "dockWidgetName": "DockWidget-11" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-16-[hidden] onto DockWidget-18-[hidden]", - "params": { - "dockWidgetName": "DockWidget-18", - "dockWidgetToAddName": "DockWidget-16" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-17-[hidden] to top, relative to DockWidget-15", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 2, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-15" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-14-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-14", - "location": 3, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-14-[hidden] onto DockWidget-16", - "params": { - "dockWidgetName": "DockWidget-16", - "dockWidgetToAddName": "DockWidget-14" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-9-[hidden] onto DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14", - "dockWidgetToAddName": "DockWidget-9" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-13-[hidden]", - "params": { - "dockWidgetName": "DockWidget-13" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-18-[hidden]", - "params": { - "dockWidgetName": "DockWidget-18" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-17", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-13 to top, relative to DockWidget-18", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-13", - "location": 2, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-18" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-11-[hidden] onto DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9", - "dockWidgetToAddName": "DockWidget-11" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-17-[hidden] onto DockWidget-13", - "params": { - "dockWidgetName": "DockWidget-13", - "dockWidgetToAddName": "DockWidget-17" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-11 to top, relative to DockWidget-14-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-11", - "location": 2, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-14" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-10-[hidden]", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-17", - "params": { - "dockWidgetName": "DockWidget-17" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-18", - "params": { - "dockWidgetName": "DockWidget-18" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-13", - "params": { - "dockWidgetName": "DockWidget-13" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-17-[hidden] onto DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10", - "dockWidgetToAddName": "DockWidget-17" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-15", - "params": { - "dockWidgetName": "DockWidget-15" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-17 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 2, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-16-[hidden]", - "params": { - "dockWidgetName": "DockWidget-16" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-9 to top, relative to DockWidget-16", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 2, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-16" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-15-[hidden] onto DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10", - "dockWidgetToAddName": "DockWidget-15" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-14-[hidden]", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-10-[hidden]", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-17 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-17", - "location": 3, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-14", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-10-[hidden] to bottom, relative to DockWidget-12", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-10", - "location": 4, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-12" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-9 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-18-[hidden]", - "params": { - "dockWidgetName": "DockWidget-18" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-12 to right, relative to DockWidget-18", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-12", - "location": 3, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-18" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-18 to bottom, relative to DockWidget-16-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-18", - "location": 4, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-16" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-11 to left, relative to DockWidget-9", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-11", - "location": 1, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-9" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-12", - "params": { - "dockWidgetName": "DockWidget-12" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-11", - "params": { - "dockWidgetName": "DockWidget-11" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-13-[hidden] to left, relative to DockWidget-16", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-13", - "location": 1, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-16" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-13", - "params": { - "dockWidgetName": "DockWidget-13" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-18 to right, relative to DockWidget-17", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-18", - "location": 3, - "mainWindowName": "MainWindow-2", - "relativeToName": "DockWidget-17" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-13-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-13", - "location": 3, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-16 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-16", - "location": 3, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-14-[hidden]", - "params": { - "dockWidgetName": "DockWidget-14" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-11-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-11", - "location": 1, - "mainWindowName": "MainWindow-2" - }, - "type": 4 - } - ] -} diff --git a/tests/fuzzer/testcases/14.json b/tests/fuzzer/testcases/14.json deleted file mode 100644 index 223fb22d..00000000 --- a/tests/fuzzer/testcases/14.json +++ /dev/null @@ -1,599 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 732, - "width": 504 - }, - "x": 386, - "y": 208 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 539, - "width": 267 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 986, - "width": 633 - }, - "x": 334, - "y": 215 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 414, - "width": 352 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 447, - "width": 474 - }, - "x": 387, - "y": 414 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 182, - "width": 394 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 403, - "width": 579 - }, - "x": 468, - "y": 374 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 165, - "width": 168 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 689, - "width": 784 - }, - "x": 252, - "y": 482 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 178, - "width": 500 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 724, - "width": 701 - }, - "x": 368, - "y": 225 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 155, - "width": 276 - }, - "name": "DockWidget-6" - }, - { - "geometry": { - "size": { - "height": 410, - "width": 627 - }, - "x": 223, - "y": 121 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 335, - "width": 524 - }, - "name": "DockWidget-7" - }, - { - "geometry": { - "size": { - "height": 734, - "width": 984 - }, - "x": 17, - "y": 390 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 196, - "width": 480 - }, - "name": "DockWidget-8" - }, - { - "geometry": { - "size": { - "height": 455, - "width": 589 - }, - "x": 47, - "y": 134 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 225, - "width": 290 - }, - "name": "DockWidget-9" - }, - { - "geometry": { - "size": { - "height": 847, - "width": 739 - }, - "x": 155, - "y": 331 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 504, - "width": 184 - }, - "name": "DockWidget-10" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1350, - "width": 288 - }, - "x": 336, - "y": 411 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3-[hidden] onto DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-8-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-8", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-5-[hidden] to top, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-9-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-7-[hidden] to left, relative to DockWidget-8", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-7", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-8" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-5 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-7 onto DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-7" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to right, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-8-[hidden] to top, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-8", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-7-[hidden] onto DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8", - "dockWidgetToAddName": "DockWidget-7" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-9-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-6 to left, relative to DockWidget-8-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-8" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-8-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-8", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-8" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-8" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-10-[hidden] onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-10" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-5-[hidden] to right, relative to DockWidget-9-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-9" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-5 to right, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-10", - "params": { - "dockWidgetName": "DockWidget-10" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-7-[hidden]", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 3 - } - ] -} diff --git a/tests/fuzzer/testcases/15.json b/tests/fuzzer/testcases/15.json deleted file mode 100644 index 75956395..00000000 --- a/tests/fuzzer/testcases/15.json +++ /dev/null @@ -1,364 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 1050, - "width": 873 - }, - "x": 389, - "y": 359 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 539, - "width": 599 - }, - "name": "DockWidget-47" - }, - { - "geometry": { - "size": { - "height": 767, - "width": 1008 - }, - "x": 483, - "y": 478 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 415, - "width": 502 - }, - "name": "DockWidget-48" - }, - { - "geometry": { - "size": { - "height": 347, - "width": 802 - }, - "x": 168, - "y": 291 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 252, - "width": 248 - }, - "name": "DockWidget-49" - }, - { - "geometry": { - "size": { - "height": 514, - "width": 750 - }, - "x": 77, - "y": 43 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 165, - "width": 580 - }, - "name": "DockWidget-50" - }, - { - "geometry": { - "size": { - "height": 777, - "width": 635 - }, - "x": 392, - "y": 37 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 548, - "width": 558 - }, - "name": "DockWidget-51" - }, - { - "geometry": { - "size": { - "height": 803, - "width": 526 - }, - "x": 409, - "y": 109 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 288, - "width": 205 - }, - "name": "DockWidget-52" - }, - { - "geometry": { - "size": { - "height": 925, - "width": 1044 - }, - "x": 175, - "y": 159 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 531, - "width": 508 - }, - "name": "DockWidget-53" - }, - { - "geometry": { - "size": { - "height": 1003, - "width": 688 - }, - "x": 384, - "y": 293 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 564, - "width": 170 - }, - "name": "DockWidget-54" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 965, - "width": 337 - }, - "x": 445, - "y": 485 - }, - "mainWindowOption": 0, - "name": "MainWindow-9" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-49-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-49", - "location": 2, - "mainWindowName": "MainWindow-9" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-51-[hidden] onto DockWidget-53-[hidden]", - "params": { - "dockWidgetName": "DockWidget-53", - "dockWidgetToAddName": "DockWidget-51" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-49-[hidden]", - "params": { - "dockWidgetName": "DockWidget-49" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-49", - "params": { - "dockWidgetName": "DockWidget-49" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-48-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-48", - "location": 4, - "mainWindowName": "MainWindow-9" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-53-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-53", - "location": 4, - "mainWindowName": "MainWindow-9" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-51", - "params": { - "dockWidgetName": "DockWidget-51" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-49-[hidden]", - "params": { - "dockWidgetName": "DockWidget-49" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-49", - "params": { - "dockWidgetName": "DockWidget-49" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-52-[hidden]", - "params": { - "dockWidgetName": "DockWidget-52" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-54-[hidden] to bottom, relative to DockWidget-48", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-54", - "location": 4, - "mainWindowName": "MainWindow-9", - "relativeToName": "DockWidget-48" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-50-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-50", - "location": 4, - "mainWindowName": "MainWindow-9" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-50", - "params": { - "dockWidgetName": "DockWidget-50" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-48 onto DockWidget-52", - "params": { - "dockWidgetName": "DockWidget-52", - "dockWidgetToAddName": "DockWidget-48" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-52-[hidden] to left, relative to DockWidget-53", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-52", - "location": 1, - "mainWindowName": "MainWindow-9", - "relativeToName": "DockWidget-53" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-50-[hidden]", - "params": { - "dockWidgetName": "DockWidget-50" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-53-[hidden] to left, relative to DockWidget-52", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-53", - "location": 1, - "mainWindowName": "MainWindow-9", - "relativeToName": "DockWidget-52" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-53", - "params": { - "dockWidgetName": "DockWidget-53" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-52", - "params": { - "dockWidgetName": "DockWidget-52" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-47-[hidden] to left, relative to DockWidget-50", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-47", - "location": 1, - "mainWindowName": "MainWindow-9", - "relativeToName": "DockWidget-50" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-47", - "params": { - "dockWidgetName": "DockWidget-47" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-48-[hidden]", - "params": { - "dockWidgetName": "DockWidget-48" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-49-[hidden]", - "params": { - "dockWidgetName": "DockWidget-49" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-52-[hidden]", - "params": { - "dockWidgetName": "DockWidget-52" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-47-[hidden] onto DockWidget-49", - "params": { - "dockWidgetName": "DockWidget-49", - "dockWidgetToAddName": "DockWidget-47" - }, - "type": 5 - } - ] -} diff --git a/tests/fuzzer/testcases/16.json b/tests/fuzzer/testcases/16.json deleted file mode 100644 index e5f328a6..00000000 --- a/tests/fuzzer/testcases/16.json +++ /dev/null @@ -1,212 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 757, - "width": 748 - }, - "x": 352, - "y": 17 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 302, - "width": 541 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 930, - "width": 1083 - }, - "x": 64, - "y": 35 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 462, - "width": 553 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 665, - "width": 1031 - }, - "x": 207, - "y": 178 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 402, - "width": 523 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 525, - "width": 962 - }, - "x": 118, - "y": 157 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 322, - "width": 460 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 920, - "width": 618 - }, - "x": 199, - "y": 154 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 425, - "width": 249 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 770, - "width": 538 - }, - "x": 323, - "y": 203 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 523, - "width": 451 - }, - "name": "DockWidget-6" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1487, - "width": 307 - }, - "x": 42, - "y": 118 - }, - "mainWindowOption": 0, - "name": "MainWindow-17" - } - ] - }, - "operations": [ - - { - "comment": "AddDockWidget DockWidget-4-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 2, - "mainWindowName": "MainWindow-17" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-17" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to right, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-17", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - - { - "comment": "AddDockWidget DockWidget-5 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 1, - "mainWindowName": "MainWindow-17" - }, - "type": 4 - }, - - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-2 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 1, - "mainWindowName": "MainWindow-17" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4 to right, relative to DockWidget-5", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-17", - "relativeToName": "DockWidget-5" - }, - "type": 4 - } - ] -} diff --git a/tests/fuzzer/testcases/17.json b/tests/fuzzer/testcases/17.json deleted file mode 100644 index 7821d300..00000000 --- a/tests/fuzzer/testcases/17.json +++ /dev/null @@ -1,159 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 976, - "width": 1087 - }, - "x": 298, - "y": 13 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 447, - "width": 498 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 793, - "width": 897 - }, - "x": 322, - "y": 491 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 565, - "width": 544 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 426, - "width": 972 - }, - "x": 54, - "y": 88 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 284, - "width": 596 - }, - "name": "DockWidget-3" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1425, - "width": 145 - }, - "x": 20, - "y": 2 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-2-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-3 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top, relative to DockWidget-3", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - } - ] -} diff --git a/tests/fuzzer/testcases/18.json b/tests/fuzzer/testcases/18.json deleted file mode 100644 index 36bdab33..00000000 --- a/tests/fuzzer/testcases/18.json +++ /dev/null @@ -1,905 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 496, - "width": 260 - }, - "x": 213, - "y": 149 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 324, - "width": 183 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 784, - "width": 342 - }, - "x": 42, - "y": 428 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 247, - "width": 247 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 789, - "width": 566 - }, - "x": 294, - "y": 396 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 502, - "width": 345 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 948, - "width": 440 - }, - "x": 461, - "y": 56 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 568, - "width": 246 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 642, - "width": 529 - }, - "x": 172, - "y": 192 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 213, - "width": 268 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 1089, - "width": 305 - }, - "x": 212, - "y": 8 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 567, - "width": 165 - }, - "name": "DockWidget-6" - }, - { - "geometry": { - "size": { - "height": 632, - "width": 892 - }, - "x": 477, - "y": 51 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 329, - "width": 407 - }, - "name": "DockWidget-7" - }, - { - "geometry": { - "size": { - "height": 653, - "width": 665 - }, - "x": 228, - "y": 458 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 440, - "width": 371 - }, - "name": "DockWidget-8" - }, - { - "geometry": { - "size": { - "height": 612, - "width": 560 - }, - "x": 371, - "y": 63 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 534, - "width": 300 - }, - "name": "DockWidget-9" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1199, - "width": 305 - }, - "x": 180, - "y": 209 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-5-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - - { - "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-6 to top, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to left, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-4-[hidden]", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-7-[hidden] to right, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-7", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-7-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-7" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] 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": "Showing DockWidget-4-[hidden]", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-9-[hidden] to left, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5-[hidden] onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-5 to right, relative to DockWidget-6-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-9-[hidden]", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to right, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-5-[hidden]", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-9 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to top, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to left, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-5-[hidden]", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-7-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-7" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-8-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-8" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6-[hidden] onto DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-2 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-5 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3-[hidden] to bottom, relative to DockWidget-6", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-6" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-7-[hidden]", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-9-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to right, relative to DockWidget-5", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-5" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-9 to left, relative to DockWidget-3-[hidden]", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-3" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-7 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-7", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-9 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "Closing DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-8-[hidden]", - "params": { - "dockWidgetName": "DockWidget-8" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-8 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-8", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 1 - }, - - { - "comment": "AddDockWidget DockWidget-8-[hidden] to top, relative to DockWidget-7", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-8", - "location": 2, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-7" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-9-[hidden]", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-9 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-9", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - - { - "comment": "Hiding DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 2 - }, - - { - "comment": "Showing DockWidget-7-[hidden]", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-4-[hidden]", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-9-[hidden]", - "params": { - "dockWidgetName": "DockWidget-9" - }, - "type": 3 - } - ] -} diff --git a/tests/fuzzer/testcases/19.json b/tests/fuzzer/testcases/19.json deleted file mode 100644 index 57640f42..00000000 --- a/tests/fuzzer/testcases/19.json +++ /dev/null @@ -1,378 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 774, - "width": 1127 - }, - "x": 176, - "y": 165 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 476, - "width": 564 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 518, - "width": 755 - }, - "x": 319, - "y": 447 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 178, - "width": 459 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 828, - "width": 838 - }, - "x": 260, - "y": 237 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 266, - "width": 485 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 808, - "width": 509 - }, - "x": 243, - "y": 415 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 578, - "width": 351 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 773, - "width": 754 - }, - "x": 494, - "y": 428 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 369, - "width": 327 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 672, - "width": 471 - }, - "x": 433, - "y": 245 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 463, - "width": 191 - }, - "name": "DockWidget-6" - }, - { - "geometry": { - "size": { - "height": 701, - "width": 525 - }, - "x": 30, - "y": 367 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 596, - "width": 156 - }, - "name": "DockWidget-7" - }, - { - "geometry": { - "size": { - "height": 723, - "width": 599 - }, - "x": 254, - "y": 203 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 251, - "width": 447 - }, - "name": "DockWidget-8" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 808, - "width": 126 - }, - "x": 173, - "y": 460 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-4-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "", - "params": { - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-2 to right, relative to DockWidget-4", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-4" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "", - "params": { - }, - "type": 3 - }, - { - "comment": "", - "params": { - }, - "type": 5 - }, - { - "comment": "", - "params": { - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-2 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "", - "params": { - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-2 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to left, relative to DockWidget-2", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 1, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-2" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-5 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-5 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "", - "params": { - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-7 to right, relative to DockWidget-5", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-7", - "location": 3, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-5" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - - { - "comment": "", - "params": { - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-8", - "params": { - "dockWidgetName": "DockWidget-8", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - } - ] -} diff --git a/tests/fuzzer/testcases/2.json b/tests/fuzzer/testcases/2.json deleted file mode 100644 index 831a39fc..00000000 --- a/tests/fuzzer/testcases/2.json +++ /dev/null @@ -1,212 +0,0 @@ -{ - "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": true, - "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": true, - "minSize": { - "height": 476, - "width": 268 - }, - "name": "DockWidget-6" - }, - { - "geometry": { - "size": { - "height": 873, - "width": 644 - }, - "x": 3, - "y": 26 - }, - "isFloating": true, - "isVisible": true, - "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": "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-[hidden] onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-4-[hidden] to bottom, relative to DockWidget-7", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 4, - "mainWindowName": "MainWindow-1", - "relativeToName": "DockWidget-7" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-7", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 2 - }, - { - "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": "Showing DockWidget-7-[hidden]", - "params": { - "dockWidgetName": "DockWidget-7" - }, - "type": 3 - } - ] -} diff --git a/tests/fuzzer/testcases/20.json b/tests/fuzzer/testcases/20.json deleted file mode 100644 index 3dcb7b26..00000000 --- a/tests/fuzzer/testcases/20.json +++ /dev/null @@ -1,833 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 793, - "width": 728 - }, - "x": 143, - "y": 290 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 445, - "width": 576 - }, - "name": "DockWidget-70" - }, - { - "geometry": { - "size": { - "height": 749, - "width": 1001 - }, - "x": 358, - "y": 224 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 406, - "width": 579 - }, - "name": "DockWidget-71" - }, - { - "geometry": { - "size": { - "height": 243, - "width": 480 - }, - "x": 498, - "y": 284 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 184, - "width": 191 - }, - "name": "DockWidget-72" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1409, - "width": 109 - }, - "x": 243, - "y": 241 - }, - "mainWindowOption": 0, - "name": "MainWindow-14" - } - ] - }, - "operations": [ - { - "comment": "Closing DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 1 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "Closing DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 1 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Showing DockWidget-70-[hidden]", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 3 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Hiding DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-71-[hidden]", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71", - "dockWidgetToAddName": "DockWidget-72" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-70-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-70", - "location": 1, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Hiding DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 2 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71", - "dockWidgetToAddName": "DockWidget-72" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-71-[hidden]", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-72-[hidden]", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70", - "dockWidgetToAddName": "DockWidget-71" - }, - "type": 5 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "Closing DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-72-[hidden]", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 3 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "Hiding DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70", - "dockWidgetToAddName": "DockWidget-71" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-71 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-71", - "location": 1, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "Closing DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-72-[hidden] onto DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71", - "dockWidgetToAddName": "DockWidget-72" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-70-[hidden] onto DockWidget-71-[hidden]", - "params": { - "dockWidgetName": "DockWidget-71", - "dockWidgetToAddName": "DockWidget-70" - }, - "type": 5 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidget DockWidget-72-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-72", - "location": 1, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidget DockWidget-72 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-72", - "location": 2, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 2 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-70-[hidden] onto DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72", - "dockWidgetToAddName": "DockWidget-70" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-72-[hidden]", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 2 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Showing DockWidget-71-[hidden]", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 3 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "AddDockWidget DockWidget-70 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-70", - "location": 1, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "Showing DockWidget-72-[hidden]", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 3 - }, - { - "comment": "Closing DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 1 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidget DockWidget-70 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-70", - "location": 3, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "AddDockWidget DockWidget-70 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-70", - "location": 2, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-71-[hidden] to bottom, relative to DockWidget-70", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-71", - "location": 4, - "mainWindowName": "MainWindow-14", - "relativeToName": "DockWidget-70" - }, - "type": 4 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidget DockWidget-72-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-72", - "location": 3, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-72-[hidden] to right, relative to DockWidget-70", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-72", - "location": 3, - "mainWindowName": "MainWindow-14", - "relativeToName": "DockWidget-70" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-71-[hidden]", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-71", - "params": { - "dockWidgetName": "DockWidget-71" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-70 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-70", - "location": 1, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 1 - }, - { - "comment": "Hiding DockWidget-72", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-70-[hidden]", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-72-[hidden] to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-72", - "location": 2, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-71-[hidden] onto DockWidget-70", - "params": { - "dockWidgetName": "DockWidget-70", - "dockWidgetToAddName": "DockWidget-71" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-70-[hidden]", - "params": { - "dockWidgetName": "DockWidget-70" - }, - "type": 3 - }, - { - "comment": "AddDockWidget DockWidget-70 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-70", - "location": 2, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidget DockWidget-70 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-70", - "location": 4, - "mainWindowName": "MainWindow-14" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-72-[hidden]", - "params": { - "dockWidgetName": "DockWidget-72" - }, - "type": 3 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - } - ] -} diff --git a/tests/fuzzer/testcases/21.json b/tests/fuzzer/testcases/21.json deleted file mode 100644 index 5be5a8fc..00000000 --- a/tests/fuzzer/testcases/21.json +++ /dev/null @@ -1,645 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 807, - "width": 1022 - }, - "x": 481, - "y": 53 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 242, - "width": 459 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 991, - "width": 1097 - }, - "x": 500, - "y": 373 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 537, - "width": 519 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 550, - "width": 856 - }, - "x": 286, - "y": 486 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 319, - "width": 536 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 565, - "width": 840 - }, - "x": 55, - "y": 69 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 179, - "width": 312 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 707, - "width": 1045 - }, - "x": 195, - "y": 183 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 539, - "width": 589 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 555, - "width": 987 - }, - "x": 406, - "y": 351 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 375, - "width": 594 - }, - "name": "DockWidget-6" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 895, - "width": 126 - }, - "x": 320, - "y": 109 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - }, - { - "comment": "Showing DockWidget-6-[hidden]", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 3 - }, - { - "comment": "Hiding DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-5-[hidden] to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4-[hidden] onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "Hiding DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6 onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-6 onto DockWidget-5", - "params": { - "dockWidgetName": "DockWidget-5", - "dockWidgetToAddName": "DockWidget-6" - }, - "type": 5 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4" - }, - "type": 1 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-5-[hidden]", - "params": { - "dockWidgetName": "DockWidget-5" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-3 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-5 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-5", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - }, - { - "comment": "SaveLayout", - "params": { - }, - "type": 6 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "RestoreLayout", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 7 - }, - { - "comment": "", - "params": { - }, - "type": 6 - }, - { - "comment": "", - "params": { - }, - "type": 7 - } - ] -} diff --git a/tests/fuzzer/testcases/3.json b/tests/fuzzer/testcases/3.json deleted file mode 100644 index b5782c78..00000000 --- a/tests/fuzzer/testcases/3.json +++ /dev/null @@ -1,142 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 903, - "width": 596 - }, - "x": 212, - "y": 195 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 579, - "width": 519 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 696, - "width": 530 - }, - "x": 103, - "y": 264 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 497, - "width": 213 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 745, - "width": 732 - }, - "x": 403, - "y": 397 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 388, - "width": 322 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 609, - "width": 734 - }, - "x": 311, - "y": 337 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 201, - "width": 436 - }, - "name": "DockWidget-4" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 723, - "width": 297 - }, - "x": 179, - "y": 93 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-1 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-3 onto DockWidget-4", - "params": { - "dockWidgetName": "DockWidget-4", - "dockWidgetToAddName": "DockWidget-3" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-1 onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-1" - }, - "type": 5 - } - ] -} diff --git a/tests/fuzzer/testcases/4.json b/tests/fuzzer/testcases/4.json deleted file mode 100644 index bf2d5956..00000000 --- a/tests/fuzzer/testcases/4.json +++ /dev/null @@ -1,135 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 886, - "width": 305 - }, - "x": 265, - "y": 179 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 583, - "width": 160 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 1004, - "width": 744 - }, - "x": 119, - "y": 271 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 507, - "width": 378 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 735, - "width": 530 - }, - "x": 107, - "y": 112 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 351, - "width": 480 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 493, - "width": 515 - }, - "x": 126, - "y": 80 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 197, - "width": 437 - }, - "name": "DockWidget-4" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1050, - "width": 462 - }, - "x": 130, - "y": 421 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-3 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "AddDockWidget DockWidget-1 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-4 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - } - ] -} diff --git a/tests/fuzzer/testcases/5.json b/tests/fuzzer/testcases/5.json deleted file mode 100644 index cf75f0c7..00000000 --- a/tests/fuzzer/testcases/5.json +++ /dev/null @@ -1,76 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 818, - "width": 425 - }, - "x": 146, - "y": 436 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 425, - "width": 259 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 698, - "width": 614 - }, - "x": 438, - "y": 291 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 410, - "width": 363 - }, - "name": "DockWidget-2" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1400, - "width": 457 - }, - "x": 91, - "y": 388 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-2 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - } - ] -} diff --git a/tests/fuzzer/testcases/6.json b/tests/fuzzer/testcases/6.json deleted file mode 100644 index 4bd6f7f9..00000000 --- a/tests/fuzzer/testcases/6.json +++ /dev/null @@ -1,122 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 1053, - "width": 1025 - }, - "x": 66, - "y": 252 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 503, - "width": 490 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 912, - "width": 835 - }, - "x": 94, - "y": 437 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 506, - "width": 532 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 774, - "width": 925 - }, - "x": 222, - "y": 299 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 596, - "width": 418 - }, - "name": "DockWidget-3" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1054, - "width": 171 - }, - "x": 321, - "y": 131 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-1 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-3 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Hiding DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 2 - }, - { - "comment": "Hiding DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 2 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-2 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-2" - }, - "type": 5 - } - ] -} diff --git a/tests/fuzzer/testcases/7.json b/tests/fuzzer/testcases/7.json deleted file mode 100644 index 56dafdd6..00000000 --- a/tests/fuzzer/testcases/7.json +++ /dev/null @@ -1,245 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 428, - "width": 800 - }, - "x": 212, - "y": 102 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 361, - "width": 599 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 744, - "width": 568 - }, - "x": 437, - "y": 127 - }, - "isFloating": true, - "isVisible": false, - "minSize": { - "height": 422, - "width": 261 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 1055, - "width": 768 - }, - "x": 452, - "y": 224 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 512, - "width": 386 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 647, - "width": 677 - }, - "x": 458, - "y": 188 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 358, - "width": 224 - }, - "name": "DockWidget-4" - }, - { - "geometry": { - "size": { - "height": 333, - "width": 739 - }, - "x": 408, - "y": 100 - }, - "isFloating": false, - "isVisible": false, - "minSize": { - "height": 252, - "width": 267 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 1042, - "width": 468 - }, - "x": 343, - "y": 320 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 526, - "width": 234 - }, - "name": "DockWidget-6" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1039, - "width": 94 - }, - "x": 364, - "y": 197 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "Closing DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-6", - "params": { - "dockWidgetName": "DockWidget-6" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-4 to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-4", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2-[hidden] to bottom", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 4, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-2 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Closing DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 1 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-3-[hidden]", - "params": { - "dockWidgetName": "DockWidget-3" - }, - "type": 3 - }, - { - "comment": "Showing DockWidget-1-[hidden]", - "params": { - "dockWidgetName": "DockWidget-1" - }, - "type": 3 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-4 onto DockWidget-1", - "params": { - "dockWidgetName": "DockWidget-1", - "dockWidgetToAddName": "DockWidget-4" - }, - "type": 5 - }, - { - "comment": "Closing DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 1 - }, - { - "comment": "AddDockWidget DockWidget-3 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-3", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1-[hidden] to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "Showing DockWidget-2-[hidden]", - "params": { - "dockWidgetName": "DockWidget-2" - }, - "type": 3 - } - ] -} diff --git a/tests/fuzzer/testcases/8.json b/tests/fuzzer/testcases/8.json deleted file mode 100644 index 2dcb4d7b..00000000 --- a/tests/fuzzer/testcases/8.json +++ /dev/null @@ -1,205 +0,0 @@ -{ - "initialLayout": { - "dockWidgets": [ - { - "geometry": { - "size": { - "height": 292, - "width": 1062 - }, - "x": 163, - "y": 468 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 183, - "width": 485 - }, - "name": "DockWidget-1" - }, - { - "geometry": { - "size": { - "height": 858, - "width": 559 - }, - "x": 39, - "y": 491 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 584, - "width": 388 - }, - "name": "DockWidget-2" - }, - { - "geometry": { - "size": { - "height": 625, - "width": 693 - }, - "x": 390, - "y": 121 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 460, - "width": 386 - }, - "name": "DockWidget-3" - }, - { - "geometry": { - "size": { - "height": 684, - "width": 740 - }, - "x": 243, - "y": 117 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 332, - "width": 414 - }, - "name": "DockWidget-5" - }, - { - "geometry": { - "size": { - "height": 690, - "width": 676 - }, - "x": 288, - "y": 108 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 494, - "width": 506 - }, - "name": "DockWidget-6" - }, - { - "geometry": { - "size": { - "height": 1011, - "width": 412 - }, - "x": 136, - "y": 197 - }, - "isFloating": true, - "isVisible": true, - "minSize": { - "height": 590, - "width": 209 - }, - "name": "DockWidget-8" - }, - { - "geometry": { - "size": { - "height": 792, - "width": 754 - }, - "x": 64, - "y": 69 - }, - "isFloating": false, - "isVisible": true, - "minSize": { - "height": 560, - "width": 534 - }, - "name": "DockWidget-9" - } - ], - "mainWindows": [ - { - "geometry": { - "size": { - "height": 1346, - "width": 219 - }, - "x": 209, - "y": 85 - }, - "mainWindowOption": 0, - "name": "MainWindow-1" - } - ] - }, - "operations": [ - { - "comment": "AddDockWidget DockWidget-8 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-8", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-8 onto DockWidget-9", - "params": { - "dockWidgetName": "DockWidget-9", - "dockWidgetToAddName": "DockWidget-8" - }, - "type": 5 - }, - { - "comment": "AddDockWidget DockWidget-2 to left", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-2", - "location": 1, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-1 to top", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-1", - "location": 2, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidget DockWidget-6 to right", - "params": { - "addingOption": 0, - "dockWidgetName": "DockWidget-6", - "location": 3, - "mainWindowName": "MainWindow-1" - }, - "type": 4 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-5 onto DockWidget-3", - "params": { - "dockWidgetName": "DockWidget-3", - "dockWidgetToAddName": "DockWidget-5" - }, - "type": 5 - }, - { - "comment": "AddDockWidgetAsTab DockWidget-9-[hidden] onto DockWidget-2", - "params": { - "dockWidgetName": "DockWidget-2", - "dockWidgetToAddName": "DockWidget-9" - }, - "type": 5 - } - ] -} diff --git a/tests/fuzzer/testcases/failing/empty b/tests/fuzzer/testcases/failing/empty deleted file mode 100644 index e69de29b..00000000