Find mechanism to kick off the divers and surfers

DeepseaPlatform / coastal

Concolic analysis tool for Java

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

Apache License 2.0

21 stars 9 forks source link

Find mechanism to kick off the divers and surfers #21

Open jacogeld opened 5 years ago

jacogeld commented 5 years ago

Currently, COASTAL::start(boolean) places a null model on the divers' and surfers' model queues in order to kick off the exploration. We need to a find a more general mechanism to accomplish this. This probably involves a special routine in the strategy managers to generate the initial models.

jacogeld commented 5 years ago

Postponed to the next release.

jacogeld commented 5 years ago

Postponed again. The current mechanism seems to work well enough, but a little more thinking is required to make it flexible enough for future changes.