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.
Uses Classes A,B, C
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).