search

moralismercatus / crete

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

Time bound doesn't take into account time taken to send OS image #174

Closed moralismercatus closed 7 years ago

moralismercatus commented 7 years ago

If the image must be updated, this process will eat into (or consume all of) the time expected for executed based on the time bound.

Keep in mind that vm-node also has to update various instances which will also eat into testing time.

This problem is especially felt in batch mode, where programs at the front of the queue will be inordinately given short times for testing.

moralismercatus commented 7 years ago

Dispatch now waits for the first trace to become available to start the countdown time. In addition, the display now shows 'pending' until that point.