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