Uses of Class
eu.iv4xr.framework.extensions.ltl.BasicModelChecker.TestSuite

Packages that use BasicModelChecker.TestSuite

Package	Description
eu.iv4xr.framework.extensions.ltl	This package provides the following features: The classes LTL and BoundedLTL implementing Linear Temporal Logic formulas, and the bounded variation of them.

Uses of BasicModelChecker.TestSuite in eu.iv4xr.framework.extensions.ltl

Methods in eu.iv4xr.framework.extensions.ltl that return BasicModelChecker.TestSuite

Modifier and Type	Method	Description
<CoverageItem> BasicModelChecker.TestSuite<CoverageItem>	BasicModelChecker.testSuite(List<CoverageItem> itemsToCover, Function<IExplorableState,CoverageItem> coverageFunction, int maxLength, boolean minimizeLength)	Return a test suite that tries to cover the specified coverage targets.