moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

All nodes should halt when dispatch halts #163

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

When a termination condition is met (e.g., a timeout), and there are no further programs to test, the nodes continue executing until their queues are depleted. This is unnecessary and wasteful. The nodes should halt as well - or at least clean their queues as if the "reset" command was sent.