sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Merge branch 'master' into modelchecker-helper-refactor

tempestpy_adaptions
Tim Quatmann 4 years ago
parent
7e6b0c27c3 7e18fbf3c2
commit
321bb9121f
1 changed files with 1 additions and 2 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 3
      src/storm-cli-utilities/model-handling.h

3
src/storm-cli-utilities/model-handling.h
View File

@ -361,7 +361,6 @@ namespace storm {
auto transformedJani = std::make_shared<SymbolicInput>(); auto transformedJani = std::make_shared<SymbolicInput>();
ModelProcessingInformation mpi = getModelProcessingInformation(output, transformedJani); ModelProcessingInformation mpi = getModelProcessingInformation(output, transformedJani);
auto builderType = storm::utility::getBuilderType(mpi.engine);
// Check whether conversion for PRISM to JANI is requested or necessary. // Check whether conversion for PRISM to JANI is requested or necessary.
if (output.model && output.model.get().isPrismProgram()) { if (output.model && output.model.get().isPrismProgram()) {
@ -383,7 +382,7 @@ namespace storm {
} }
if (output.model && output.model.get().isJaniModel()) { if (output.model && output.model.get().isJaniModel()) {
storm::jani::ModelFeatures supportedFeatures = storm::api::getSupportedJaniFeatures(builderType);
storm::jani::ModelFeatures supportedFeatures = storm::api::getSupportedJaniFeatures(storm::utility::getBuilderType(mpi.engine));
storm::api::simplifyJaniModel(output.model.get().asJaniModel(), output.properties, supportedFeatures); storm::api::simplifyJaniModel(output.model.get().asJaniModel(), output.properties, supportedFeatures);
} }

Write Preview
Loading…
Cancel
Save