search

logiccomp / lsl

4 stars 2 forks source link

Be able to change how many tests `check-contract` runs #18

Closed dbp closed 9 months ago

dbp commented 9 months ago

Simplest might be an extra argument? i.e., (check-contract foo) does default, (check-contract N foo) generates N sets of inputs?

camoy commented 9 months ago

Already implemented as (check-contract foo N) :)

It does not print these out as separate tests, though. Each check-contract is considered one test when printing out the summary.

dbp commented 9 months ago

Ahh, wonderful :)

On Jan 2, 2024, at 3:12 PM, Cameron Moy @.***> wrote:

Already implemented as (check-contract foo N) :)

It does not print these out as separate tests, though. Each check-contract is considered one test when printing out the summary.

— Reply to this email directly, view it on GitHub https://github.com/logiccomp/lsl/issues/18#issuecomment-1874628327, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAELBJP7IR3XF4TEJ67HIKDYMSA6PAVCNFSM6AAAAABBKSILDWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNZUGYZDQMZSG4. You are receiving this because you authored the thread.