Milos Gligoric

Hi, Thanks for the report. I assume that you are using Java 9+ in this experiment. If you use Java 8, this should not be happening. (I am not saying...

Closing as we are not focusing on Java (and future work that explores Kotlin can address the issue if present at the time).

Hi, Ekstazi does not support sbt projects. Prior support for Scala was through Maven.

Closing as we have no plans to support Scala projects any further.

Hi, Which Java/Maven version did you use?

Addressed in https://github.com/gliga/ekstazi/pull/58

Hi, Thank you for your interest in Ekstazi. Although we do have plans to support JUnit5, this is unlikely to happen before Fall 2019 as many people are out of...

You can send me a private email if this is urgent, so we can chat more. On Wed, Jul 3, 2019 at 9:52 PM azl wrote: > I'm using ekstazi...

Hi, There is (currently) no direct way to see the list of tests that are run. However, if you are using Ant/Maven/Gradle, they would print the list of executed tests...

We have tried earlier versions of Ekstazi on several projects that use mocking frameworks. We encountered no problem, but let us know if you observe any issue and we would...