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