Two percentage options in compset
Open
- Dominant language
- Python
- Stars
- 16
- Forks
- 4
- Avg merge
- 2d 17h
- Merged PRs (30d)
- 1
Description
In CrocoDash we get two options after MOM6 in the compset REGIONAL and MARBL-BIO. Those don't seem to play well in the checking with Z3, that needs to be looked at a bit.
Contributor guide
Assessment
This issue has not been assessed yet.