Kea2-python 1.2.2b4__tar.gz → 1.2.3__tar.gz

{kea2_python-1.2.2b4 → kea2_python-1.2.3}/Kea2_python.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: Kea2-python
-Version: 1.2.2b4
+Version: 1.2.3
 Summary: A python library for supporting and customizing automated UI testing for mobile apps
 Author-email: Xixian Liang <xixian@stu.ecnu.edu.cn>
 Requires-Python: >=3.8

{kea2_python-1.2.2b4 → kea2_python-1.2.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: Kea2-python
-Version: 1.2.2b4
+Version: 1.2.3
 Summary: A python library for supporting and customizing automated UI testing for mobile apps
 Author-email: Xixian Liang <xixian@stu.ecnu.edu.cn>
 Requires-Python: >=3.8

{kea2_python-1.2.2b4 → kea2_python-1.2.3}/kea2/report/templates/bug_report_template.html

@@ -737,11 +737,51 @@
             background-color: white;
             border-radius: 0 0 8px 8px;
             box-shadow: 0 2px 4px rgba(0,0,0,0.05);
+            flex-wrap: wrap;
+            gap: 12px 16px;
         }
 
         .pagination-container.pagination-violations {
             padding: 10px 16px;
         }
+
+        .pagination-container > .d-flex {
+            flex: 0 1 auto;
+            flex-wrap: wrap;
+            row-gap: 8px;
+            min-width: 0;
+        }
+
+        .pagination-container > nav {
+            flex: 1 1 320px;
+            min-width: 0;
+            max-width: 100%;
+            display: flex;
+            justify-content: flex-end;
+            overflow-x: auto;
+            overflow-y: hidden;
+            -webkit-overflow-scrolling: touch;
+            scrollbar-width: thin;
+        }
+
+        .pagination-container > nav::-webkit-scrollbar {
+            height: 6px;
+        }
+
+        .pagination-container > nav::-webkit-scrollbar-thumb {
+            background-color: rgba(52, 152, 219, 0.45);
+            border-radius: 999px;
+        }
+
+        .pagination-container > nav .pagination {
+            flex-wrap: nowrap;
+            width: max-content;
+            white-space: nowrap;
+        }
+
+        .pagination-container > nav .page-link {
+            white-space: nowrap;
+        }
         
         .activity-item {
             padding: 10px 15px;
@@ -1674,7 +1714,7 @@
                 </table>
 
                 <!-- Pagination for Activities -->
-                <div class="d-flex justify-content-between align-items-center mt-3">
+                <div class="d-flex justify-content-between align-items-center mt-3 pagination-container">
                     <div class="d-flex align-items-center">
                         <label for="activities-page-size" class="form-label me-2 mb-0">Show:</label>
                         <select class="form-select form-select-sm" id="activities-page-size" style="width: auto;">
@@ -2232,7 +2272,7 @@
                 </table>
                 
                 <!-- Pagination for Property Checking Statistics -->
-                <div class="d-flex justify-content-between align-items-center mt-3">
+                <div class="d-flex justify-content-between align-items-center mt-3 pagination-container">
                     <div class="d-flex align-items-center">
                         <label for="stats-page-size" class="form-label me-2 mb-0">Show:</label>
                         <select class="form-select form-select-sm" id="stats-page-size" style="width: auto;">

{kea2_python-1.2.2b4 → kea2_python-1.2.3}/kea2/report/templates/merged_bug_report_template.html

@@ -188,12 +188,12 @@
             text-align: left;
         }
 
-        #property-source-container tr th:nth-child(3),
-        #property-source-container tr td:nth-child(3) { /* Source Directories */
-            width: 57%;
-            min-width: 300px;
-            text-align: center;
-        }
+        #property-source-container tr th:nth-child(3),
+        #property-source-container tr td:nth-child(3) { /* Source Directories */
+            width: 57%;
+            min-width: 300px;
+            text-align: left;
+        }
 
         /* Property Source Mapping specific styles */
         .property-source-row .badge-custom {
@@ -202,9 +202,10 @@
             white-space: normal;
         }
 
-        .property-source-row td:last-child {
-            line-height: 1.8;
-        }
+        .property-source-row td:last-child {
+            line-height: 1.8;
+            text-align: left;
+        }
 
         .property-source-row .badge.bg-info {
             transition: all 0.2s ease;
@@ -236,9 +237,10 @@
             display: inline;
         }
 
-        .source-dirs-container {
-            line-height: 1.8;
-        }
+        .source-dirs-container {
+            line-height: 1.8;
+            text-align: left;
+        }
 
         .stat-value {
             font-size: 1.8rem;
@@ -399,12 +401,52 @@
             height: 650px;
         }
         
-        .pagination-container {
-            padding: 10px 0;
-            background-color: white;
-            border-radius: 0 0 8px 8px;
-            box-shadow: 0 2px 4px rgba(0,0,0,0.05);
-        }
+        .pagination-container {
+            padding: 10px 0;
+            background-color: white;
+            border-radius: 0 0 8px 8px;
+            box-shadow: 0 2px 4px rgba(0,0,0,0.05);
+            flex-wrap: wrap;
+            gap: 12px 16px;
+        }
+
+        .pagination-container > .d-flex {
+            flex: 0 1 auto;
+            flex-wrap: wrap;
+            row-gap: 8px;
+            min-width: 0;
+        }
+
+        .pagination-container > nav {
+            flex: 1 1 320px;
+            min-width: 0;
+            max-width: 100%;
+            display: flex;
+            justify-content: flex-end;
+            overflow-x: auto;
+            overflow-y: hidden;
+            -webkit-overflow-scrolling: touch;
+            scrollbar-width: thin;
+        }
+
+        .pagination-container > nav::-webkit-scrollbar {
+            height: 6px;
+        }
+
+        .pagination-container > nav::-webkit-scrollbar-thumb {
+            background-color: rgba(52, 152, 219, 0.45);
+            border-radius: 999px;
+        }
+
+        .pagination-container > nav .pagination {
+            flex-wrap: nowrap;
+            width: max-content;
+            white-space: nowrap;
+        }
+
+        .pagination-container > nav .page-link {
+            white-space: nowrap;
+        }
         
         /* Modern Activity Item Styling */
         .activity-item {
@@ -1017,11 +1059,11 @@
             font-size: 15px;
         }
 
-        .merged-directories-list {
-            max-height: 200px;
-            overflow-y: auto;
-            overflow-x: hidden;
-            padding: 12px;
+        .merged-directories-list {
+            max-height: 500px;
+            overflow-y: auto;
+            overflow-x: hidden;
+            padding: 12px;
             padding-right: 8px; /* Make room for scrollbar */
             background: #f8f9fa;
             border-radius: 8px;
@@ -1582,7 +1624,7 @@
             </div>
 
             <!-- Pagination for Activities -->
-            <div class="d-flex justify-content-between align-items-center mt-3">
+            <div class="d-flex justify-content-between align-items-center mt-3 pagination-container">
                 <div class="d-flex align-items-center">
                     <label for="activities-page-size" class="form-label me-2 mb-0">Show:</label>
                     <select class="form-select form-select-sm" id="activities-page-size" style="width: auto;">
@@ -1854,7 +1896,7 @@
                 </table>
 
                 <!-- Pagination for Property Checking Statistics -->
-                <div class="d-flex justify-content-between align-items-center mt-3">
+                <div class="d-flex justify-content-between align-items-center mt-3 pagination-container">
                     <div class="d-flex align-items-center">
                         <label for="stats-page-size" class="form-label me-2 mb-0">Show:</label>
                         <select class="form-select form-select-sm" id="stats-page-size" style="width: auto;">
@@ -2024,7 +2066,7 @@
                 </table>
 
                 <!-- Pagination for Property Source Mapping -->
-                <div class="d-flex justify-content-between align-items-center mt-3">
+                <div class="d-flex justify-content-between align-items-center mt-3 pagination-container">
                     <div class="d-flex align-items-center">
                         <label for="source-page-size" class="form-label me-2 mb-0">Show:</label>
                         <select class="form-select form-select-sm" id="source-page-size" style="width: auto;">

{kea2_python-1.2.2b4 → kea2_python-1.2.3}/kea2/result.py

@@ -140,8 +140,7 @@ class KeaJsonResult(TextTestResult):
         invariant_fails = sum(_.fail for _ in self.res.values() if _.kind == "invariant")
         invariant_errors = sum(_.error for _ in self.res.values() if _.kind == "invariant")
         logger.info(f"[Property Execution Summary] Errors:{property_errors}, Fails:{property_fails}")
-        if invariant_fails > 0 or invariant_errors > 0:
-            logger.info(f"[Invariant Execution Summary] Errors:{invariant_errors}, Fails:{invariant_fails}")
+        logger.info(f"[Invariant Execution Summary] Errors:{invariant_errors}, Fails:{invariant_fails}")
     
     def flushResult(self):
         json_res = dict()

{kea2_python-1.2.2b4 → kea2_python-1.2.3}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "Kea2-python"
-version = "1.2.2b4"
+version = "1.2.3"
 description = "A python library for supporting and customizing automated UI testing for mobile apps"
 readme = "README.md"
 requires-python = ">=3.8"