Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm-test.cpp
Go to the documentation of this file.
1#include "storm-pars/settings/ParsSettings.h"
2#include "test/storm_gtest.h"
3
4int main(int argc, char **argv) {
5 storm::settings::initializeParsSettings("Storm-pars (Functional) Testing Suite", "test-pars");
6 ::testing::InitGoogleTest(&argc, argv);
7 storm::test::initialize(&argc, argv);
8 return RUN_ALL_TESTS();
9}
storm::settings::initializeParsSettings
void initializeParsSettings(std::string const &name, std::string const &executableName)
Definition ParsSettings.cpp:39
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