openlang

Testing and verification

What evidence supports a claim that a program behaves as intended.

  1. A handoff test that waits for evidence

    How would you test this handoff without a sleep that merely hopes the worker has run? Imagine a request carrying an identifie…