Ekstazi

Ekstazi is a dynamic RTS tool. It first generates

Time

For Ekstazi

print the System.currentTimeMillis()

(i) before this line:

https://github.com/gliga/ekstazi/blob/master/ekstazi-maven-plugin/src/main/java/org/ekstazi/maven/DynamicSelectEkstaziMojo.java#L44

and (ii) before this line:

https://github.com/gliga/ekstazi/blob/master/ekstazi-maven-plugin/src/main/java/org/ekstazi/maven/DynamicSelectEkstaziMojo.java#L60

The (ii) minus (i) is Ekstazi's Analysis (A) time. Surefire time

minus A is your Execution(E) + Collection (C) time. Produce A, E+C

for each SHA and across all SHAs per project.

Override Junit4 Runner

override beginClassCoverage and endClassCoverage

the input is the test class

in endClassCoverage method, the dependencies are updated

install Ekstazi without running tests