-
Tuncer Ayaz authored
Expose check/2 via new triq attribute variant. This can be used to control how many runs Triq should do for the properties in the module.
042ac55b
Expose check/2 via new triq attribute variant. This can be used to control how many runs Triq should do for the properties in the module.