roboservant-0.1.0.1: Automatic session-aware servant testing
Roboservant.StateMachine
prop_sequential :: forall api. (FlattenServer api, ToReifiedApi (Endpoints api)) => Server api -> Property Source #
prop_concurrent :: forall api. (FlattenServer api, ToReifiedApi (Endpoints api)) => Server api -> Property Source #