mirror of
https://github.com/ubf/ubf.git
synced 2026-04-18 18:55:51 +00:00
1.3 KiB
1.3 KiB
Module qc_ubf
Function Index
| behaviour_info/1 | |
| impl/2 | |
| qc_counterexample_read/4 | |
| qc_prop/3 | |
| qc_run/4 | |
| qc_sample/3 |
Function Details
behaviour_info/1
behaviour_info(Other) -> any()
impl/2
impl(Mod, Contracts) -> any()
qc_counterexample_read/4
qc_counterexample_read(Mod, Contracts, Options, FileName) -> any()
qc_prop/3
qc_prop(Mod, Contracts, Options) -> any()
qc_run/4
qc_run(Mod, Contracts, NumTests, Options) -> any()
qc_sample/3
qc_sample(Mod, Contracts, Options) -> any()