Storm
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 "test/storm_gtest.h"
3
4int main(int argc, char **argv) {
5 storm::settings::initializeAll("Storm-gamebased-ar (Functional) Testing Suite", "test-gamebased-ar");
6 ::testing::InitGoogleTest(&argc, argv);
7 storm::test::initialize(&argc, argv);
8 return RUN_ALL_TESTS();
9}
storm::settings::initializeAll
void initializeAll(std::string const &name, std::string const &executableName)
Initialize the settings manager with all available modules.
Definition SettingsManager.cpp:678
storm::test::initialize
void initialize(int *argc, char **argv)
Definition storm_gtest.h:49
main
int main(int argc, char **argv)
Definition storm-test.cpp:4
storm_gtest.h