Browse Source

added missing include

Former-commit-id: 7eed5aaba7
tempestpy_adaptions
dehnert 9 years ago
parent
commit
08bc810b2c
  1. 1
      test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp

1
test/performance/storage/StronglyConnectedComponentDecompositionTest.cpp

@ -4,6 +4,7 @@
#include "src/storage/StronglyConnectedComponentDecomposition.h"
#include "src/models/sparse/Mdp.h"
#include "src/models/sparse/Dtmc.h"
#include "src/models/sparse/StandardRewardModel.h"
TEST(StronglyConnectedComponentDecomposition, Crowds) {
std::shared_ptr<storm::models::sparse::Model<double>> abstractModel = storm::parser::AutoParser::parseModel(STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds20_5.tra", STORM_CPP_BASE_PATH "/examples/dtmc/crowds/crowds20_5.lab", "", "");

Loading…
Cancel
Save