Closed waternumbers closed 3 years ago
The error message thrown when a river bifurcation is met in the model checking is quite cryptic, improve the clarity of the message and highlight where the problem is.
in v0.1.4:
Commit to main branch in v0.2.0.9000 merge
The error message thrown when a river bifurcation is met in the model checking is quite cryptic, improve the clarity of the message and highlight where the problem is.