Dealing with External Files

unread,

Mar 9, 2016, 3:56:12 AM3/9/16

to Ekstazi

Hi,

does ekstazi include in the dependencies set of tests also external files (e.g., configurations files)?

I have setup a simple test project where tests access files (both using File and via the URL returned by ClassLoader.getResource),

but cannot see those files among the dependencies discovered by Ekstazi.

Running the tool (a second time) after modifying any of those files results in no tests run.

I run the tool via the mvn so not sure if there is some specific option to enable and how to do that.

The version of the ekstazi plugin is 4.6.1.

Thanks

unread,

Mar 15, 2016, 3:05:15 PM3/15/16

to Ekstazi

Hi Alessio,

Ekstazi does have a feature to monitor access to external files.

However, this feature is disabled for now, as we need to test it more
extensively before we make it public

Lamyaa

PS: We will send you additional information by email

unread,

Mar 17, 2016, 11:47:50 AM3/17/16

to Ekstazi

Great !

I look forward to use it.

Thanks.

-- Alessio

Reply all

Reply to author

Forward