Strategies other than DepthFirst are broken

DeepseaPlatform / coastal

Concolic analysis tool for Java

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

Apache License 2.0

21 stars 9 forks source link

Strategies other than DepthFirst are broken #3

Closed jacogeld closed 6 years ago

jacogeld commented 6 years ago

Because of the way the PathTree is constructed (left now means false, right now means true), the BreadthFirst, Random, and DepthLast strategies are not operating correctly and produce runtime exceptions.