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: 5eebb8ec3f

accumulation

accumulation-v4.7

automata-finite

master

tud-infrastructure-2018-10-12

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '5eebb8ec3f'

${ noResults }

prism-accumulation/prism-tests/functionality/verify/exact

History

Joachim Klein 6c0294923e Use exact evaluation of constant expressions in exact and parametric mode Using the infrastructure from the previous commit, we request exact evaluation of constants in exact and parametric model checking mode. Additionally, note where we deliberately choose non-exact evaluation mode. Add corresponding test cases.		8 years ago
..
exact-const-1.prism	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-const-1.prism.props	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-const-1.prism.props.args	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-const-2.prism	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-const-2.prism.props	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-const-2.prism.props.args	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-eval-1.prism	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-eval-1.prism.props	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-eval-1.prism.props.args	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-literal.prism	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-literal.prism.exact.props	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago
exact-literal.prism.exact.props.args	Use exact evaluation of constant expressions in exact and parametric mode	8 years ago