Browse Source

Use pars settings for pars tests

tempestpy_adaptions
Matthias Volk 7 years ago
parent
commit
752a1fff86
  1. 4
      src/test/storm-pars/storm-test.cpp

4
src/test/storm-pars/storm-test.cpp

@ -1,8 +1,8 @@
#include "gtest/gtest.h"
#include "storm/settings/SettingsManager.h"
#include "storm-pars/settings/ParsSettings.h"
int main(int argc, char **argv) {
storm::settings::initializeAll("Storm-pars (Functional) Testing Suite", "test-pars");
storm::settings::initializeParsSettings("Storm-pars (Functional) Testing Suite", "test-pars");
::testing::InitGoogleTest(&argc, argv);
return RUN_ALL_TESTS();
}
Loading…
Cancel
Save