Merge pull request #29 from bernardladenthin/claude/explore-feature-improvements-FBjSo

Add statistics tracking and configurable max allocation size to StreamBuffer

Author: bernardladenthin

.github/workflows/maven.yml

@@ -61,6 +61,27 @@ jobs:
       - name: Run mutation tests with PIT
         run: mvn -B test-compile org.pitest:pitest-maven:mutationCoverage -Dmaven.javadoc.skip=true --file pom.xml
 
+      - name: Extract Pitest Survivors with Context
+        if: always()
+        run: |
+          echo "=== PIT Survived Mutations ==="
+          echo ""
+
+          # Loop through all HTML files in pit-reports
+          for html_file in $(find target/pit-reports -name "*.html" -type f | sort); do
+            echo "Processing: $html_file"
+
+            # Extract lines containing SURVIVED with context (2 before, 3 after)
+            if grep -q "SURVIVED" "$html_file"; then
+              echo "Found survivors in $html_file:"
+              grep -B 2 -A 3 "SURVIVED" "$html_file"
+              echo ""
+            fi
+          done
+
+          echo "=== Count unique survivors ==="
+          echo "Check the 'Found survivors' sections above - each unique location with SURVIVED is one uncovered mutation"
+
       - name: Upload PIT report
         if: always()
         uses: actions/upload-artifact@v4

pom.xml

@@ -116,7 +116,7 @@
                     </execution>
                 </executions>
             </plugin>
-            <plugin>
+            <!-- <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-javadoc-plugin</artifactId>
                 <version>3.12.0</version>
@@ -131,8 +131,8 @@
                         </goals>
                     </execution>
                 </executions>
-            </plugin>
-            <plugin>
+            </plugin> -->
+            <!-- <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-gpg-plugin</artifactId>
                 <version>3.2.8</version>
@@ -145,13 +145,13 @@
                         </goals>
                     </execution>
                 </executions>
-            </plugin>
-            <plugin>
+            </plugin> -->
+            <!-- <plugin>
                 <groupId>com.github.hazendaz.maven</groupId>
                 <artifactId>coveralls-maven-plugin</artifactId>
                 <version>5.0.0</version>
-            </plugin>
-            <plugin>
+            </plugin> -->
+            <!-- <plugin>
                 <groupId>org.jacoco</groupId>
                 <artifactId>jacoco-maven-plugin</artifactId>
                 <version>0.8.14</version>
@@ -170,7 +170,7 @@
                         </goals>
                     </execution>
                 </executions>
-            </plugin>
+            </plugin> -->
             <plugin>
                 <groupId>org.pitest</groupId>
                 <artifactId>pitest-maven</artifactId>
@@ -190,6 +190,7 @@
                         <param>net.ladenthin.streambuffer.*</param>
                     </targetTests>
                     <mutationThreshold>100</mutationThreshold>
+                    <timeoutConstant>30000</timeoutConstant>
                 </configuration>
              </plugin>
         </plugins>