Generational strategy produces a single run

DeepseaPlatform / coastal

Concolic analysis tool for Java

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

Apache License 2.0

21 stars 9 forks source link

Open domjhill opened 5 years ago

domjhill commented 5 years ago

Running BinTree4-Generational.xml produces only a single execution. Attached is a coastal.log file associated with this issue. coastal.log