Configure Ekstazi to run specific test methods

57 views
Skip to first unread message

Alessio Gambi

unread,
Apr 4, 2018, 7:46:52 AM4/4/18
to Ekstazi
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).

Reply all
Reply to author
Forward
0 new messages