Display inputs for when Symbolic.stop executes

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

A call to the Symbolic.stop method should also result in the inputs being displayed.