search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
138 stars 75 forks source link

Require explicitly providing bucketSize for BitVectorHashMap #620

Closed volkm closed 2 months ago

volkm commented 2 months ago

Should prevent the issue raised in https://github.com/moves-rwth/storm/issues/607 in the future.

sjunges commented 2 months ago

LGTM