diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-08-27 02:59:19 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-08-27 02:59:19 +0200 |
| commit | 2fdbe809530817d49b0fa08066343cd2f13f52ff (patch) | |
| tree | c9440942621ae89064f75dd7da8de0c0d3601236 /gradle | |
| parent | fix: strong represenative election algorithm (diff) | |
| download | refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.tar.gz refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.tar.zst refinery-2fdbe809530817d49b0fa08066343cd2f13f52ff.zip | |
refactor: disable contains refinement
Providing an efficient refinement calculus would be too difficult at this point,
and contains is much more useful as a constraint in predicates that as an
assertions anyway.
Diffstat (limited to 'gradle')
0 files changed, 0 insertions, 0 deletions