Kea2-python 1.2.2b4__tar.gz → 1.2.3b1__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/Kea2_python.egg-info/PKG-INFO +1 -1
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/PKG-INFO +1 -1
- kea2_python-1.2.3b1/kea2/assets/fastbot_libs/arm64-v8a/libfastbot_native.so +0 -0
- kea2_python-1.2.3b1/kea2/assets/fastbot_libs/armeabi-v7a/libfastbot_native.so +0 -0
- kea2_python-1.2.3b1/kea2/assets/fastbot_libs/x86/libfastbot_native.so +0 -0
- kea2_python-1.2.3b1/kea2/assets/fastbot_libs/x86_64/libfastbot_native.so +0 -0
- kea2_python-1.2.3b1/kea2/assets/monkeyq.jar +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/result.py +1 -2
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/pyproject.toml +1 -1
- kea2_python-1.2.2b4/kea2/assets/fastbot_libs/arm64-v8a/libfastbot_native.so +0 -0
- kea2_python-1.2.2b4/kea2/assets/fastbot_libs/armeabi-v7a/libfastbot_native.so +0 -0
- kea2_python-1.2.2b4/kea2/assets/fastbot_libs/x86/libfastbot_native.so +0 -0
- kea2_python-1.2.2b4/kea2/assets/fastbot_libs/x86_64/libfastbot_native.so +0 -0
- kea2_python-1.2.2b4/kea2/assets/monkeyq.jar +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/Kea2_python.egg-info/SOURCES.txt +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/Kea2_python.egg-info/dependency_links.txt +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/Kea2_python.egg-info/entry_points.txt +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/Kea2_python.egg-info/requires.txt +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/Kea2_python.egg-info/top_level.txt +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/LICENSE +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/README.md +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/__init__.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/adbUtils.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/config_version.json +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot-thirdpart.jar +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/abl.strings +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/awl.strings +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/max.config +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/max.fuzzing.strings +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/max.schema.strings +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/max.strings +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/max.tree.pruning +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/teardown.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/fastbot_configs/widget.block.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/framework.jar +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/kea2-thirdpart.jar +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/assets/quicktest.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/cli.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fastbotManager.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fastbotx/ActivityTimes.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fastbotx/ReuseEntry.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fastbotx/ReuseModel.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fastbotx/__init__.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fbm_parser.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fbm_plugin.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/fs_lock.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/kea2_api.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/keaUtils.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/kea_launcher.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/logWatcher.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/mixin.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/__init__.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/bug_report_generator.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/mixin.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/report_merger.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/templates/bug_report_template.html +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/templates/merged_bug_report_template.html +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/utils.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/widget_coverage.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/resultSyncer.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/state.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/typedefs.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/u2Driver.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/utils.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/version_manager.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/setup.cfg +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/tests/test_u2Selector.py +0 -0
- {kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/tests/test_xpath.py +0 -0
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -140,8 +140,7 @@ class KeaJsonResult(TextTestResult):
|
|
|
140
140
|
invariant_fails = sum(_.fail for _ in self.res.values() if _.kind == "invariant")
|
|
141
141
|
invariant_errors = sum(_.error for _ in self.res.values() if _.kind == "invariant")
|
|
142
142
|
logger.info(f"[Property Execution Summary] Errors:{property_errors}, Fails:{property_fails}")
|
|
143
|
-
|
|
144
|
-
logger.info(f"[Invariant Execution Summary] Errors:{invariant_errors}, Fails:{invariant_fails}")
|
|
143
|
+
logger.info(f"[Invariant Execution Summary] Errors:{invariant_errors}, Fails:{invariant_fails}")
|
|
145
144
|
|
|
146
145
|
def flushResult(self):
|
|
147
146
|
json_res = dict()
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
{kea2_python-1.2.2b4 → kea2_python-1.2.3b1}/kea2/report/templates/merged_bug_report_template.html
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|