Tree: 7ef9d7cc07

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '7ef9d7cc07'

${ noResults }

Commit Graph

59 Commits (7ef9d7cc07714c1067bd0089a16b148b70ee3fed)

Author	SHA1	Message	Date
PBerger	11cc7fc6bc	Introduced a new Object called InternalOptionMemento to handle required settings for tests which auto-reset after the test is done Refactored many constants to be of type ull where required Edited all tests that used the set() function of the Settings to make use of the new InternalOptionMemento Former-commit-id: a400a36f69	12 years ago
PBerger	48571cd12c	Fixed a regression in the LtlParserTest.cpp Former-commit-id: 79ee45eecd	12 years ago
PBerger	88fbf032e6	Added BASE_PATH to ParsePrismTest.cpp Former-commit-id: c06ad0c43e	12 years ago
PBerger	89909fe8dc	Edited all Parsers to lose its class. Modified many classes to provide a reference-constructor. Fixed a few bugs in Tests. Former-commit-id: c31fe95aae	12 years ago
dehnert	f44f0ce410	Cleaned interfaces of models from std::shared_ptr. Improved some code in graph utility.	12 years ago
Lanchid	ec91dcbe2e	Merge branch master into LTLParser	12 years ago
Lanchid	00a7c50ad4	Implemented the improvements from the PRCTL parser also in the CSL and LTL parsers.	12 years ago
dehnert	3851377064	Introduced executable storm-functional-tests and storm-performance-tests. While the former contains the previous tests, the latter is currently empty, but will hold performance tests in the future.	12 years ago
dehnert	27de566228	Moved current tests to the functional test suite in an attempt to introduce performance tests.	12 years ago