Version 0.9.0

rife2 · Oct 22, 2023 · 5a3e928 · 5a3e928
1 parent 83feef8
commit 5a3e928
Show file tree

Hide file tree

Showing 7 changed files with 57 additions and 57 deletions.
diff --git a/examples/lib/bld/bld-wrapper.properties b/examples/lib/bld/bld-wrapper.properties
@@ -1,7 +1,7 @@
 bld.downloadExtensionJavadoc=false
 bld.downloadExtensionSources=true
-bld.extensions=com.uwyn.rife2:bld-pitest:0.9.0-SNAPSHOT
-bld.repositories=MAVEN_LOCAL,MAVEN_CENTRAL,RIFE2_RELEASES
+bld.extensions=com.uwyn.rife2:bld-pitest:0.9.0
+bld.repositories=MAVEN_LOCAL,MAVEN_CENTRAL,RIFE2_SNAPSHOTS,RIFE2_RELEASES
 bld.downloadLocation=
 bld.sourceDirectories=
 bld.version=1.7.5
diff --git a/examples/reports/mutations/com.example/ExamplesLib.java.html b/examples/reports/mutations/com.example/ExamplesLib.java.html
@@ -15,12 +15,12 @@ <h1>ExamplesLib.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@4e3958e7_1'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@5c671d7f_1'/>
 1
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_1'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_1'></a>
 <span>
 </span>
 </span>
@@ -30,12 +30,12 @@ <h1>ExamplesLib.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@4e3958e7_2'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@5c671d7f_2'/>
 2
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_2'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_2'></a>
 <span>
 </span>
 </span>
@@ -45,12 +45,12 @@ <h1>ExamplesLib.java</h1>
 
 <tr>
 <td class='covered'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@4e3958e7_3'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@5c671d7f_3'/>
 3
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_3'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_3'></a>
 <span>
 </span>
 </span>
@@ -60,12 +60,12 @@ <h1>ExamplesLib.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@4e3958e7_4'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@5c671d7f_4'/>
 4
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_4'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_4'></a>
 <span>
 </span>
 </span>
@@ -75,12 +75,12 @@ <h1>ExamplesLib.java</h1>
 
 <tr>
 <td class='covered'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@4e3958e7_5'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@5c671d7f_5'/>
 5
 </td>
 <td class='killed'>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_5'>1</a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_5'>1</a>
 <span>
 1. getMessage : replaced return value with &#34;&#34; for com/example/ExamplesLib::getMessage &rarr; KILLED<br/>
 
@@ -92,12 +92,12 @@ <h1>ExamplesLib.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@4e3958e7_6'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@5c671d7f_6'/>
 6
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_6'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_6'></a>
 <span>
 </span>
 </span>
@@ -107,12 +107,12 @@ <h1>ExamplesLib.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@4e3958e7_7'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@5c671d7f_7'/>
 7
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_7'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_7'></a>
 <span>
 </span>
 </span>
@@ -124,11 +124,11 @@ <h1>ExamplesLib.java</h1>
 <tr><td></td><td></td><td><h2>Mutations</h2></td></tr>
 
 <tr>
-<td><a href='#org.pitest.mutationtest.report.html.SourceFile@4e3958e7_5'>5</a></td> 
+<td><a href='#org.pitest.mutationtest.report.html.SourceFile@5c671d7f_5'>5</a></td> 
 <td></td>
 <td>
 
-<a name='grouporg.pitest.mutationtest.report.html.SourceFile@4e3958e7_5'/> 
+<a name='grouporg.pitest.mutationtest.report.html.SourceFile@5c671d7f_5'/> 
 
 <p class='KILLED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>getMessage<br/><b>Killed by : </b>com.example.ExamplesTest.[engine:junit-jupiter]/[class:com.example.ExamplesTest]/[method:verifyHello()]</span></span> replaced return value with &#34;&#34; for com/example/ExamplesLib::getMessage &rarr; KILLED</p> 
 </td>
@@ -160,7 +160,7 @@ <h2>Tests examined</h2>
 
 <br/>
 
-Report generated by <a href='https://pitest.org'>PIT</a> 1.14.4
+Report generated by <a href='https://pitest.org'>PIT</a> 1.15.1
 
 </body>
 </html>
diff --git a/examples/reports/mutations/com.example/ExamplesTest.java.html b/examples/reports/mutations/com.example/ExamplesTest.java.html
@@ -15,12 +15,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_1'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_1'/>
 1
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_1'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_1'></a>
 <span>
 </span>
 </span>
@@ -30,12 +30,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_2'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_2'/>
 2
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_2'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_2'></a>
 <span>
 </span>
 </span>
@@ -45,12 +45,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_3'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_3'/>
 3
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_3'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_3'></a>
 <span>
 </span>
 </span>
@@ -60,12 +60,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_4'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_4'/>
 4
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_4'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_4'></a>
 <span>
 </span>
 </span>
@@ -75,12 +75,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_5'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_5'/>
 5
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_5'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_5'></a>
 <span>
 </span>
 </span>
@@ -90,12 +90,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_6'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_6'/>
 6
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_6'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_6'></a>
 <span>
 </span>
 </span>
@@ -105,12 +105,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='covered'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_7'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_7'/>
 7
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_7'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_7'></a>
 <span>
 </span>
 </span>
@@ -120,12 +120,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_8'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_8'/>
 8
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_8'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_8'></a>
 <span>
 </span>
 </span>
@@ -135,12 +135,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_9'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_9'/>
 9
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_9'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_9'></a>
 <span>
 </span>
 </span>
@@ -150,12 +150,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='covered'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_10'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_10'/>
 10
 </td>
 <td class='survived'>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_10'>1</a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_10'>1</a>
 <span>
 1. verifyHello : removed call to org/junit/jupiter/api/Assertions::assertEquals &rarr; SURVIVED<br/>
 
@@ -167,12 +167,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='covered'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_11'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_11'/>
 11
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_11'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_11'></a>
 <span>
 </span>
 </span>
@@ -182,12 +182,12 @@ <h1>ExamplesTest.java</h1>
 
 <tr>
 <td class='na'>
-<a name='org.pitest.mutationtest.report.html.SourceFile@c86b9e3_12'/>
+<a name='org.pitest.mutationtest.report.html.SourceFile@1f59a598_12'/>
 12
 </td>
 <td class=''>
 <span class='pop'>
-<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_12'></a>
+<a href='#grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_12'></a>
 <span>
 </span>
 </span>
@@ -199,11 +199,11 @@ <h1>ExamplesTest.java</h1>
 <tr><td></td><td></td><td><h2>Mutations</h2></td></tr>
 
 <tr>
-<td><a href='#org.pitest.mutationtest.report.html.SourceFile@c86b9e3_10'>10</a></td> 
+<td><a href='#org.pitest.mutationtest.report.html.SourceFile@1f59a598_10'>10</a></td> 
 <td></td>
 <td>
 
-<a name='grouporg.pitest.mutationtest.report.html.SourceFile@c86b9e3_10'/> 
+<a name='grouporg.pitest.mutationtest.report.html.SourceFile@1f59a598_10'/> 
 
 <p class='SURVIVED'><span class='pop'>1.<span><b>1</b><br/><b>Location : </b>verifyHello<br/><b>Killed by : </b>none</span></span> removed call to org/junit/jupiter/api/Assertions::assertEquals &rarr; SURVIVED</p> 
 </td>
@@ -235,7 +235,7 @@ <h2>Tests examined</h2>
 
 <br/>
 
-Report generated by <a href='https://pitest.org'>PIT</a> 1.14.4
+Report generated by <a href='https://pitest.org'>PIT</a> 1.15.1
 
 </body>
 </html>
diff --git a/examples/reports/mutations/com.example/index.html b/examples/reports/mutations/com.example/index.html
@@ -21,7 +21,7 @@ <h3>com.example</h3>
     <tbody>
         <tr>
             <td>2</td>
-            <td>100% <div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">5/5</div></div></td>
+<td>100% <div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">5/5</div></div></td>
             <td>50% <div class="coverage_bar"><div class="coverage_complete width-50"></div><div class="coverage_legend">1/2</div></div></td>
             <td>50% <div class="coverage_bar"><div class="coverage_complete width-50"></div><div class="coverage_legend">1/2</div></div></td>
         </tr>
@@ -43,14 +43,14 @@ <h3>Breakdown by Class</h3>
 
         <tr>
             <td><a href="./ExamplesLib.java.html">ExamplesLib.java</a></td>
-            <td><div class="coverage_percentage">100% </div><div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">2/2</div></div></td>
+<td><div class="coverage_percentage">100% </div><div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">2/2</div></div></td>
             <td><div class="coverage_percentage">100% </div><div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">1/1</div></div></td>
             <td><div class="coverage_percentage">100% </div><div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">1/1</div></div></td>
         </tr>
 
         <tr>
             <td><a href="./ExamplesTest.java.html">ExamplesTest.java</a></td>
-            <td><div class="coverage_percentage">100% </div><div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">3/3</div></div></td>
+<td><div class="coverage_percentage">100% </div><div class="coverage_bar"><div class="coverage_complete width-100"></div><div class="coverage_legend">3/3</div></div></td>
             <td><div class="coverage_percentage">0% </div><div class="coverage_bar"><div class="coverage_complete width-0"></div><div class="coverage_legend">0/1</div></div></td>
             <td><div class="coverage_percentage">0% </div><div class="coverage_bar"><div class="coverage_complete width-0"></div><div class="coverage_legend">0/1</div></div></td>
         </tr>
@@ -63,7 +63,7 @@ <h3>Breakdown by Class</h3>
 
 <hr/>
 
-Report generated by <a href='https://pitest.org'>PIT</a> 1.14.4
+Report generated by <a href='https://pitest.org'>PIT</a> 1.15.1
 
 </body>
 </html>