| commit | 83b1185dfe3e5a3c7e3630389449e241f53c2d5e | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 9 Jul 2021 19:33:28 +0000 (9 21:33 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 14 Aug 2022 16:41:30 +0000 (14 18:41 +0200) | ||
| tree | d45902e21edf054a6d796826ca4a23cddd4e2850 | treesnapshot (tar.gz zip) |
| parent | 87d37e2b33bd55eb2a362358448642ab62c5cdef | commitdiff |
add an iscc weighted counting test case with an equality among parameters
This tests the proper handling of such equality constraints.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
This tests the proper handling of such equality constraints.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| tests/iscc/sum6 | [new file with mode: 0644] | blob |