https://github.com/engineeringsoftware/fine-ekstazi

https://github.com/engineeringsoftware/fine-ekstazi

Last synced: 6 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/engineeringsoftware/fine-ekstazi
• Owner: EngineeringSoftware
• License: apache-2.0
• Created: 2023-09-11T21:39:01.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2024-08-24T17:26:58.000Z (over 1 year ago)
• Last Synced: 2025-04-01T04:27:47.832Z (10 months ago)
• Language: Java
• Size: 620 KB
• Stars: 1
• Watchers: 1
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
FineEkstazi

=======

FineEkstazi is a tool for fine-grained regression test selection (RTS)

for Java programs. It is based on Ekstazi, and leverages the semantics

of Java to provide a more precise RTS.

# Installation

To install FineEkstazi, clone the repository and run the following command:

```

mvn clean install

```

# Usage

Set the following configuration in `$HOME/.ekstazirc`:

```

finerts=true

mrts=true

```

Optionally, add the following configuration to specify the format of the dependencies file:

```

dependencies.format=txt

```

Then, add the following dependency in `pom.xml`:

```

    org.ekstazi

    ekstazi-maven-plugin

    5.3.1 

    

        

        ekstazi

        

            select

        

        

    

```

Finally, run your tests with the following command:

```

mvn test

```