Documentation
¶
Overview ¶
Package conformancetest captures runtime turns for deterministic strategy tests.
Index ¶
- Constants
- func AssertNoProcessAuthority(t *testing.T, value reflect.Type)
- func CancelAfterCheck(ctx context.Context, after int64) (context.Context, context.CancelFunc)
- func CheckDispatcherRejection(t *testing.T, dispatcher run.Dispatcher, effect run.Effect)
- func CheckRestoreCancellation(t *testing.T, definition run.Definition, state run.ExecutionState)
- func Compiler(t testing.TB) *run.Compiler
- func Run(t *testing.T, binding run.BindingConfig, config run.Config, input run.Payload) run.Result[run.Payload]
- func Runtime(t testing.TB, config run.Config) *run.Runtime
Constants ¶
const Build = "strategy-conformance"
Variables ¶
This section is empty.
Functions ¶
func AssertNoProcessAuthority ¶ added in v0.20.0
AssertNoProcessAuthority checks that a Strategy's retained types and ports cannot own or control managed Processes. Names and source files do not confer authority; Runtime, Process, committer, and resolution capabilities do.
func CancelAfterCheck ¶ added in v0.26.0
CancelAfterCheck schedules cancellation just after a successful Err check. Validators can then prove they stop before examining a later malformed entry.
func CheckDispatcherRejection ¶ added in v0.26.0
CheckDispatcherRejection verifies that malformed protocol input settles at the Runtime boundary and can be consumed without host adjudication.
func CheckRestoreCancellation ¶ added in v0.26.0
func CheckRestoreCancellation(t *testing.T, definition run.Definition, state run.ExecutionState)
CheckRestoreCancellation interrupts a built-in validator after each observed cancellation checkpoint. Sampling Err before canceling models cancellation arriving just after a successful check, without timing or scheduler races.
Types ¶
This section is empty.