search

gliga / ekstazi

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

Regarding handling programs with "ForkMode" #60

Open lly-ss opened 8 months ago

lly-ss commented 8 months ago

Hello, I noticed that Ekstazi does not instrument methods like constructors when handling programs with "ForkMode". Why doesn't the Ekstazi tool instrument methods to collect dependencies when testing programs with fork in pom.xml?