Follow general output precision in DFT approximation

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

126 stars 73 forks source link

Closed volkm closed 1 month ago

volkm commented 1 month ago

The DFTModelChecker specified its own precision instead of following the default.
Made setOutputDigits private.

sjunges commented 1 month ago

LGTM!