Module TestgenStrategies

module TestgenStrategies: sig .. end
Gathers the contracts, the actions a strategy can perform on the underlying smt solver used for test generation, and some data a strategy generates tests from.

type 'data context 
Gathers the contracts, the actions a strategy can perform on the underlying smt solver used for test generation, and some data a strategy generates tests from.
module type Sig = sig .. end
Signature for test generation strategies.
val dummy : (module TestgenStrategies.Sig)
First class dummy strategy module.
val unit_mode_switch : (module TestgenStrategies.Sig)
First class unit mode switch module.