Extend VM fault tolerance to crete-run

moralismercatus / crete

Open source concolic testing tool for binaries

1 stars 1 forks source link

Extend VM fault tolerance to crete-run #161

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

Presently, fault tolerance for batch mode only applies for the VM terminating. If crete-run fails, such as when one of the configuration files fails to parse, it would be convenient to move on to the next program rather than halt.

Such a feature may require reworking the communication between vm-node and crete-run.

moralismercatus commented 8 years ago

In addition, it appears when crete-run encounters a faulty configuration file, dispatch halts, rather than continuing on to the next program upon timeout.