Kea2-python 0.3.6__py3-none-any.whl → 1.0.1__py3-none-any.whl

kea2/templates/bug_report_template.html

@@ -279,13 +279,77 @@
             width: 8%;
             min-width: 70px;
         }
-        
+
         .table-custom th:nth-child(7), .table-custom td:nth-child(7) { /* Error Details */
             width: 45%;
             min-width: 400px;
             text-align: center;
             position: relative;
         }
+
+        /* Property Checking Statistics specific adjustments */
+        .table-property-stats th,
+        .table-property-stats td {
+            padding: 20px 14px;
+            line-height: 1.65;
+        }
+
+        .table-property-stats th:nth-child(1),
+        .table-property-stats td:nth-child(1) {
+            width: 6%;
+            min-width: 60px;
+        }
+
+        .table-property-stats th:nth-child(2),
+        .table-property-stats td:nth-child(2) {
+            width: 22%;
+            min-width: 200px;
+            text-align: left;
+        }
+
+        .table-property-stats th:nth-child(3),
+        .table-property-stats td:nth-child(3) {
+            width: 10%;
+            min-width: 90px;
+        }
+
+        .table-property-stats th:nth-child(4),
+        .table-property-stats td:nth-child(4) {
+            width: 9%;
+            min-width: 80px;
+        }
+
+        .table-property-stats th:nth-child(5),
+        .table-property-stats td:nth-child(5) {
+            width: 9%;
+            min-width: 80px;
+        }
+
+        .table-property-stats th:nth-child(6),
+        .table-property-stats td:nth-child(6) {
+            width: 9%;
+            min-width: 80px;
+        }
+
+        .table-property-stats th:nth-child(7),
+        .table-property-stats td:nth-child(7) {
+            width: 9%;
+            min-width: 80px;
+        }
+
+        .table-property-stats th:nth-child(8),
+        .table-property-stats td:nth-child(8) {
+            width: 26%;
+            min-width: 260px;
+            text-align: left;
+        }
+
+        .table-property-stats td:nth-child(8) {
+            display: flex;
+            justify-content: flex-start;
+            align-items: center;
+            gap: 0.75rem;
+        }
         
         .table-custom tbody tr:nth-of-type(odd) {
             background-color: rgba(0, 0, 0, 0.02);
@@ -1222,6 +1286,24 @@
                                 <span class="stat-label">Executed Properties</span>
                             </div>
                         </div>
+                        {% if triggered_crash_count %}
+                        <div class="col-md-2 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-exclamation-octagon text-danger" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-danger">{{ triggered_crash_count }}</span>
+                                <span class="stat-label">Triggered Crash</span>
+                            </div>
+                        </div>
+                        {% endif %}
+                        {% if triggered_anr_count %}
+                        <div class="col-md-2 col-sm-6">
+                            <div class="text-center">
+                                <i class="bi bi-hourglass-split text-warning" style="font-size: 2rem;"></i>
+                                <span class="stat-value value-warning">{{ triggered_anr_count }}</span>
+                                <span class="stat-label">Triggered ANR</span>
+                            </div>
+                        </div>
+                        {% endif %}
                     </div>
                 </div>
             </div>
@@ -1340,6 +1422,7 @@
 
         <!-- Screenshots Section -->
         {% if take_screenshots %}
+        {% if screenshots %}
         <div class="section-block">
             <h2 class="section-title">Test Screenshots</h2>
             <div class="card">
@@ -1357,6 +1440,14 @@
                 </div>
             </div>
         </div>
+        {% else %}
+        <div class="section-block">
+            <h2 class="section-title">Test Screenshots</h2>
+            <div class="alert alert-info text-center">
+                <i class="bi bi-info-circle"></i> No screenshots captured in this test session.
+            </div>
+        </div>
+        {% endif %}
         {% endif %}
 
         <!-- Crash Analysis Section -->
@@ -1398,6 +1489,9 @@
                                     <th>Time</th>
                                     <th>Exception</th>
                                     <th>Process</th>
+                                    {% if take_screenshots %}
+                                    <th>Interaction Scenario Pages</th>
+                                    {% endif %}
                                     <th>Details</th>
                                 </tr>
                             </thead>
@@ -1408,20 +1502,31 @@
                                     <td>{{ crash.time }}</td>
                                     <td>{{ crash.exception_type }}</td>
                                     <td>{{ crash.process }}</td>
+                                    {% if take_screenshots %}
+                                    <td>
+                                        {% if crash.screenshot_id %}
+                                        <a href="#{{ crash.screenshot_id }}" class="link-button" onclick="scrollToScreenshot('{{ crash.screenshot_id }}')">
+                                            <i class="bi bi-camera"></i> Screenshot {{ crash.screenshot_id }}
+                                        </a>
+                                        {% else %}
+                                        <span class="text-muted">No screenshot</span>
+                                        {% endif %}
+                                    </td>
+                                    {% endif %}
                                     <td>
-                                        <button class="btn btn-sm btn-outline-primary" type="button" 
-                                                data-bs-toggle="collapse" data-bs-target="#crash-detail-{{ loop.index }}" 
+                                        <button class="btn btn-sm btn-outline-primary" type="button"
+                                                data-bs-toggle="collapse" data-bs-target="#crash-detail-{{ loop.index }}"
                                                 aria-expanded="false" aria-controls="crash-detail-{{ loop.index }}">
                                             <i class="bi bi-eye"></i> Details
                                         </button>
-                                        <button class="btn btn-sm btn-outline-secondary copy-stack-btn" 
+                                        <button class="btn btn-sm btn-outline-secondary copy-stack-btn"
                                                 data-stack-index="{{ loop.index }}">
                                             <i class="bi bi-clipboard"></i> Copy
                                         </button>
                                     </td>
                                 </tr>
                                 <tr class="collapse" id="crash-detail-{{ loop.index }}">
-                                    <td colspan="5">
+                                    <td colspan="{% if take_screenshots %}6{% else %}5{% endif %}">
                                         <div class="bg-light p-3 rounded">
                                             <h6 class="text-danger">Stack Trace:</h6>
                                             <pre class="text-danger mb-0 text-start" id="stack-trace-{{ loop.index }}" style="font-size: 0.9em; white-space: pre-wrap; text-align: left;">{{ crash.stack_trace }}</pre>
@@ -1436,20 +1541,31 @@
                                     <td>{{ anr.time }}</td>
                                     <td>{{ anr.reason }}</td>
                                     <td>{{ anr.process }}</td>
+                                    {% if take_screenshots %}
                                     <td>
-                                        <button class="btn btn-sm btn-outline-primary" type="button" 
-                                                data-bs-toggle="collapse" data-bs-target="#anr-detail-{{ loop.index }}" 
+                                        {% if anr.screenshot_id %}
+                                        <a href="#{{ anr.screenshot_id }}" class="link-button" onclick="scrollToScreenshot('{{ anr.screenshot_id }}')">
+                                            <i class="bi bi-camera"></i> Screenshot {{ anr.screenshot_id }}
+                                        </a>
+                                        {% else %}
+                                        <span class="text-muted">No screenshot</span>
+                                        {% endif %}
+                                    </td>
+                                    {% endif %}
+                                    <td>
+                                        <button class="btn btn-sm btn-outline-primary" type="button"
+                                                data-bs-toggle="collapse" data-bs-target="#anr-detail-{{ loop.index }}"
                                                 aria-expanded="false" aria-controls="anr-detail-{{ loop.index }}">
                                             <i class="bi bi-eye"></i> Details
                                         </button>
-                                        <button class="btn btn-sm btn-outline-secondary copy-stack-btn" 
+                                        <button class="btn btn-sm btn-outline-secondary copy-stack-btn"
                                                 data-stack-index="anr-{{ loop.index }}">
                                             <i class="bi bi-clipboard"></i> Copy
                                         </button>
                                     </td>
                                 </tr>
                                 <tr class="collapse" id="anr-detail-{{ loop.index }}">
-                                    <td colspan="5">
+                                    <td colspan="{% if take_screenshots %}6{% else %}5{% endif %}">
                                         <div class="bg-light p-3 rounded">
                                             <h6 class="text-dark">ANR Details:</h6>
                                             <pre class="text-dark mb-0 text-start" id="stack-trace-anr-{{ loop.index }}" style="font-size: 0.9em; white-space: pre-wrap; text-align: left;">{{ anr.trace }}</pre>
@@ -1512,7 +1628,12 @@
                         <tr class="property-violation-row" data-page="1">
                             <td>{{ violation.index }}</td>
                             <td><span class="badge bg-light text-dark badge-custom">{{ violation.property_name }}</span></td>
-                            <td><a href="#{{ violation.interaction_pages[0] }}" class="link-button">{{ violation.interaction_pages[0] }} ~ {{ violation.interaction_pages[1] }}</a></td>
+                            <td>
+                                <a href="#{{ violation.interaction_pages|last }}" class="link-button"
+                                   onclick="scrollToScreenshot('{{ violation.interaction_pages|last }}')">
+                                    {{ violation.interaction_pages[0] }} ~ {{ violation.interaction_pages[1] }}
+                                </a>
+                            </td>
                         </tr>
                         {% endfor %}
                     </tbody>
@@ -1576,13 +1697,14 @@
             </div>
             
             <div class="table-responsive">
-                <table class="table table-custom">
+                <table class="table table-custom table-property-stats">
                     <thead>
                         <tr>
                             <th>Index</th>
                             <th>Property Name <span class="badge bg-primary ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_properties }}</span></th>
                             <th>Precondition Satisfied <span class="badge bg-success ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_precond_satisfied }}</span></th>
                             <th>Executed <span class="badge bg-info ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_executed }}</span></th>
+                            <th>Passes <span class="badge bg-secondary ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_passes }}</span></th>
                             <th>Fails <span class="badge bg-danger ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_fails }}</span> <i class="bi bi-arrow-down-up text-muted sort-icon" id="fails-sort" data-column="fails" data-order="none" style="cursor: pointer;"></i></th>
                             <th>Errors <span class="badge bg-warning ms-2" style="font-size: 0.9rem; font-weight: 600;">{{ property_stats_summary.total_errors }}</span> <i class="bi bi-arrow-down-up text-muted sort-icon" id="errors-sort" data-column="errors" data-order="none" style="cursor: pointer;"></i></th>
                             <th>Error Details</th>
@@ -1595,12 +1717,14 @@
                             data-property-name="{{ property_name }}"
                             data-precond-satisfied="{{ test_result.precond_satisfied|default(0) }}"
                             data-executed="{{ test_result.executed|default(0) }}"
+                            data-pass="{{ test_result.pass_count|default(0) }}"
                             data-fails="{{ test_result.fail|default(0) }}"
                             data-errors="{{ test_result.error|default(0) }}">
                             <td>{{ loop.index }}</td>
                             <td><span class="badge bg-light text-dark badge-custom">{{ property_name }}</span></td>
                             <td>{{ test_result.precond_satisfied|default(0) }}</td>
                             <td>{{ test_result.executed|default(0) }}</td>
+                            <td>{{ test_result.pass_count|default(0) }}</td>
                             <td><span class="badge bg-danger text-white">{{ test_result.fail|default(0) }}</span></td>
                             <td><span class="badge bg-warning text-dark">{{ test_result.error|default(0) }}</span></td>
                             <td>
@@ -1632,8 +1756,8 @@
                             {% set property_index = loop.index %}
                             {% if error_list|length == 1 %}
                                 <!-- Single error detail row -->
-                                <tr class="collapse" id="single-error-detail-{{ property_index }}">
-                                    <td colspan="7">
+                                <tr class="collapse property-detail-row" data-detail-for="{{ property_name }}" id="single-error-detail-{{ property_index }}">
+                                    <td colspan="8">
                                         <div class="bg-light p-3 rounded">
                                             <div class="mb-2">
                                                 <span class="badge bg-{{ 'danger' if error_list[0].state == 'fail' else 'warning' }}">
@@ -1664,8 +1788,8 @@
                                 </tr>
                             {% else %}
                                 <!-- Multiple errors detail row -->
-                                <tr class="collapse" id="multi-error-detail-{{ property_index }}">
-                                    <td colspan="7">
+                                <tr class="collapse property-detail-row" data-detail-for="{{ property_name }}" id="multi-error-detail-{{ property_index }}">
+                                    <td colspan="8">
                                         <div class="bg-light p-3 rounded">
                                             <!-- Error summary -->
                                             <div class="mb-3">
@@ -2218,6 +2342,18 @@
                 function sortTable(column, order) {
                     const container = document.getElementById('property-stats-container');
                     const rows = Array.from(container.getElementsByClassName('property-stat-row'));
+                    const detailRowMap = new Map();
+
+                    // Capture current detail rows so they can move with their parent property row
+                    const detailRows = Array.from(container.querySelectorAll('.property-detail-row'));
+                    detailRows.forEach(function(detailRow) {
+                        const key = detailRow.dataset.detailFor;
+                        if (!key) return;
+                        if (!detailRowMap.has(key)) {
+                            detailRowMap.set(key, []);
+                        }
+                        detailRowMap.get(key).push(detailRow);
+                    });
                     
                     rows.sort(function(a, b) {
                         let valueA, valueB;
@@ -2237,11 +2373,18 @@
                         }
                     });
                     
-                    // Clear container and append sorted rows
-                    container.innerHTML = '';
+                    const fragment = document.createDocumentFragment();
                     rows.forEach(function(row) {
-                        container.appendChild(row);
+                        fragment.appendChild(row);
+                        const detailKey = row.dataset.propertyName;
+                        const relatedDetailRows = detailRowMap.get(detailKey) || [];
+                        relatedDetailRows.forEach(function(detailRow) {
+                            fragment.appendChild(detailRow);
+                        });
                     });
+
+                    container.innerHTML = '';
+                    container.appendChild(fragment);
                     
                     // Re-initialize pagination after sorting
                     initPagination('property-stats-container', 'property-stat-row', 'stats-pagination', 'stats-page-size');
@@ -3502,6 +3645,31 @@
             }
             return 1;
         }
+
+        // Function to scroll to screenshot by ID
+        function scrollToScreenshot(screenshotId) {
+            const screenshotElement = document.getElementById(screenshotId);
+            if (screenshotElement) {
+                // Scroll to the screenshot with smooth behavior
+                screenshotElement.scrollIntoView({
+                    behavior: 'smooth',
+                    block: 'center'
+                });
+
+                // Add a highlight effect
+                screenshotElement.style.border = '3px solid #007bff';
+                screenshotElement.style.borderRadius = '8px';
+                screenshotElement.style.transition = 'border 0.3s ease';
+
+                // Remove highlight after 3 seconds
+                setTimeout(() => {
+                    screenshotElement.style.border = '';
+                    screenshotElement.style.borderRadius = '';
+                }, 3000);
+            } else {
+                console.warn('Screenshot with ID', screenshotId, 'not found');
+            }
+        }
     </script>
 </body>
-</html> 
+</html>