Fix warning about single runs

DeepseaPlatform / coastal

Concolic analysis tool for Java

https://deepseaplatform.github.io/coastal/

Apache License 2.0

21 stars 9 forks source link

Closed jacogeld closed 5 years ago

jacogeld commented 5 years ago

When using surfers (lightweight instrumentation), COASTAL incorrectly complains that only a single run executed.