storm-test.cpp File Reference

#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/CounterexampleGeneratorSettings.h"
#include "test/storm_gtest.h"

Include dependency graph for storm-test.cpp:

Go to the source code of this file.

Functions
int	main (int argc, char **argv)

Function Documentation

main()

int main	(	int	argc,
		char **	argv )

Definition at line 5 of file storm-test.cpp.