search

gliga / ekstazi

Software testing optimization tool
Apache License 2.0
27 stars 15 forks source link

Source file to test file mappings #42

Closed ehsan-salamati closed 2 years ago

ehsan-salamati commented 2 years ago

Hi, I wonder if there is a way that I can get access to the graph (source file to test file mappings) that gets built by ekstazi after a certain run.

gliga commented 2 years ago

Yes, all the mappings should be available in .ekstazi directory (from which you were running Ekstazi/build).

ehsan-salamati commented 2 years ago

@gliga Thanks for your reply. What I see in the .ekstazi directory is some files named similar to the tests that exist in my project. However, inside each is just some hashed numbers. I was wondering if I could understand for each test file what were the source files that could trigger the test file run.

gliga commented 2 years ago

You can configure what format you would like stored in that directory. To get txt (readable) format, you can create .ekstazirc in your $HOME directory and have content like this:

dependencies.format=txt
ehsan-salamati commented 2 years ago

Thank you @gliga 🙏 One last question, does ekstazi also support kotlin? I was wondering if I can use it for an android project.

gliga commented 2 years ago

In theory any project/code that compiles to Java bytecode is supported (we used Ekstazi with Scala projects in the past).

There was a group of students that was trying to enable Ekstazi for Kotlin, but I do not know the status of that (or if that code is publicly available).

ehsan-salamati commented 2 years ago

Thanks again for being responsive @gliga. Appreciate that!