search

data61 / PSL

Other
65 stars 9 forks source link

UR: include `quickcheck` to `ur_strategy`. #187

Closed yutakang closed 1 year ago

yutakang commented 3 years ago

Probably we need two PSL strategies for UR.

For conjecturing, we should use Quickcheck to avoid wasting computational resources. For the final goal, we shouldn't use Quickcheck more than once.

yutakang commented 1 year ago

No longer relevant.