10 Commits (50136dd31aca2e8a27e95cb503fb384d3c70657d)

Author SHA1 Message Date
David_Korzeniewski 7d2d1cac55 Functional Testing Suite now prints a note if not all optional dependencies were included in the build. 10 years ago
dehnert 266d660d89 Added functions responsible for printing the help. Started adapting the tests to the new option system. 10 years ago
dehnert 9ad12616e2 Renamed files in settings module a bit. Started on the pseudo-modular module-settings. 10 years ago
dehnert 96e1f8faf9 Renamed Settings class to SettingsManager. 10 years ago
dehnert 9569426c86 Moved option registration to the settings class (so it's not deceentralized any longer). This enables to build storm as a library and on top of that build some exectuables, which saves a lot of compile time as soon as several targets have to be built or one switches between targets. 10 years ago
PBerger 11cc7fc6bc Introduced a new Object called InternalOptionMemento to handle required settings for tests which auto-reset after the test is done 11 years ago
PBerger 58ff007654 Fixed the Settings structure 11 years ago
PBerger 938959de56 Added a set() Method to the Settings.h for the Tests 11 years ago
dehnert 7095f8e67f Fixed a lot of issues introduced by refactoring. 12 years ago
Lanchid ec91dcbe2e Merge branch master into LTLParser 12 years ago
Lanchid f9ab6f85d0 - Restructuration of model checkers (by logic) 12 years ago
dehnert 27de566228 Moved current tests to the functional test suite in an attempt to introduce performance tests. 12 years ago
dehnert 43f11ccc5f Refactoring of modelchecker folder. 12 years ago
gereon 47cb1aa4d9 renamed BoundOperator to PathBoundOperator (StateBoundOperator is coming soon...) 12 years ago
gereon f9923bac95 Fixed memory leaks involving Settings class 12 years ago
gereon 3a1b0f0433 adding sloppy mode for Settings, load settings in tests 12 years ago
PBerger 7800132684 Added Mdp Class, Parser and support in the AutoParser. 12 years ago
gereon d5eb8ccfab renamed mrmc-tests to storm-tests 12 years ago
PBerger f983317b54 Renaming MRMC to STORM, see #42 12 years ago
dehnert 2d80eb39b3 Changed logging format and minor formatting fix. 12 years ago
dehnert e748c35268 Added logging for both main files. 12 years ago
dehnert 876154e6f0 Removed logging output from all classes. Added log4cplus as 3rdparty library. Refactored CMakeLists.txt to always use libraries that are in the repository. Changed executable file to mrmc/mrmc-tests. Added case distinction in gtest to compile with clang. 12 years ago
PBerger 31d2c70acc Added temporary Find* files for CMake 13 years ago
PBerger 4cd75789ac Updated styleguides 13 years ago