Skip to content

pitest/pitest-rv-plugin

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Pit RV

Research focussed mutation operators for pitest.

Note, these operators were built into pitest until release 1.7.5. From 1.7.5 onwards, this plugin is required if we wish to use the rv operators.

Usage

To use the plugin it must be placed on the classpath of the pitest tool (not on the classpath of the project being mutated).

Maven

    <plugins>
      <plugin>
        <groupId>org.pitest</groupId>
        <artifactId>pitest-maven</artifactId>
        <version>1.7.5</version>
        <dependencies>
          <dependency>
            <groupId>org.pitest</groupId>
            <artifactId>pitest-rv-plugin</artifactId>
            <version>1.0</version>
          </dependency>
        </dependencies>
      </plugin>
   </plugins>

For Pitest configuration options, have a look at http://pitest.org/quickstart/maven/.