Convergence detection erroneous when svm-node is started before vm-node

moralismercatus / crete

Open source concolic testing tool for binaries

1 stars 1 forks source link

Convergence detection erroneous when svm-node is started before vm-node #153

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

At least in dev mode (distributed untested), if you start dispatch and then svm-node, dispatch will think convergence has happened. If you start dispatch followed by vm-node, followed by svm-node, it proceeds as it should.