You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: f2383ccfb5

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'f2383ccfb5'

${ noResults }

tempest/test/functional/modelchecker

History

masawei 15d13bc06d Refactored the AutoParser. - Devided the AutoParser.h into .h and .cpp - The AutoParser now is a stateless class |- This resulted in changes to the interface between the parsers and the rest of the project. |- The main() now directly acquires a shared_ptr to an AbstractModel from the call of the AutoParser and keeps ownership of it. |- Additionally, the division into .h and .cpp lead to a move of includes from the header to the source. This caused several tests to need some model header to be included. |- Tests are still showing green (except those needing Gurobi, which I do not have). Next up: Parser.h/.cpp, then comments and making things look nice.) Former-commit-id: f59b7405e5		11 years ago
..
EigenDtmcPrctlModelCheckerTest.cpp	Introduced a new Object called InternalOptionMemento to handle required settings for tests which auto-reset after the test is done	11 years ago
GmmxxDtmcPrctlModelCheckerTest.cpp	Refactored the AutoParser.	11 years ago
SparseMdpPrctlModelCheckerTest.cpp	Refactored the AutoParser.	11 years ago