Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm-test.cpp
Go to the documentation of this file.
1#include "storm/settings/SettingsManager.h"
2#include "storm/settings/modules/CounterexampleGeneratorSettings.h"
3#include "test/storm_gtest.h"
4
5int main(int argc, char **argv) {
6 storm::settings::initializeAll("Storm-counterexamples (Functional) Testing Suite", "test-counterexamples");
7 storm::settings::addModule<storm::settings::modules::CounterexampleGeneratorSettings>();
8 ::testing::InitGoogleTest(&argc, argv);
9 storm::test::initialize(&argc, argv);
10 return RUN_ALL_TESTS();
11}
storm::settings::addModule
void addModule(bool doRegister=true)
Add new module to use for the settings.
Definition SettingsManager.h:272
storm::settings::initializeAll
void initializeAll(std::string const &name, std::string const &executableName)
Initialize the settings manager with all available modules.
Definition SettingsManager.cpp:697
storm::test::initialize
void initialize(int *argc, char **argv)
Definition storm_gtest.cpp:36
main
int main(int argc, char **argv)
Definition storm-test.cpp:5
storm_gtest.h