Verifies one program. Resolves (never rejects for Docker or program
failures) only after every docker process it spawned has exited and its
container was removed, or cleanup-uncertain reports that it may remain.
An abort kills the running program and resolves cancelled the same way.
Verifies one program. Resolves (never rejects for Docker or program failures) only after every docker process it spawned has exited and its container was removed, or
cleanup-uncertainreports that it may remain. An abort kills the running program and resolvescancelledthe same way.