storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

API depends on command line settings

Open sjunges opened this issue 2 years ago • 0 comments

The use of the settings manager in https://github.com/moves-rwth/storm/blob/6de4244e30a95f114a0e42fc5a9c5033957eceae/src/storm/api/verification.h#L194 is somewhat unexpected.

sjunges avatar Jul 20 '22 19:07 sjunges