Browse Source

enable logging

tempestpy_adaptions
Sebastian Junges 5 years ago
parent
commit
d398d6643f
  1. 2
      src/storm-pomdp-cli/storm-pomdp.cpp

2
src/storm-pomdp-cli/storm-pomdp.cpp

@ -88,6 +88,8 @@ int main(const int argc, const char** argv) {
if (!optionsCorrect) { if (!optionsCorrect) {
return -1; return -1;
} }
storm::cli::setUrgentOptions();
auto const& coreSettings = storm::settings::getModule<storm::settings::modules::CoreSettings>(); auto const& coreSettings = storm::settings::getModule<storm::settings::modules::CoreSettings>();

Loading…
Cancel
Save