Configure Ekstazi to run specific test methods

[Alessio Gambi]

Hi All,

I am looking for a way to let Ekstazi run a subset of test methods defined in a test class instead of all of them.

I vaguely remember this was mentioned in the paper but not sure this features ever surfaced to the public version of the tool.

-- Alessio

Example

TestClass A

test1

 Uses Classes A,B, C

test2

  Uses only Class A

-----

If I change class A I expect both test methods to run, however, I would like to run only test 1 if B or C are modified (and under the assumption

B and C are independent from A and vice-versa).