Matthias Volk
|
3bf516f08e
|
Changed constructor of ParameterRegion to take a valuation.
Use ParameterRegion.create_from_string() to initialize a region from string.
|
6 years ago |
|
Matthias Volk
|
2908ac1b70
|
Get all parameters from sparse or symbolic model
|
6 years ago |
|
Matthias Volk
|
62f3d3630e
|
Bindings for dd and hybrid model checking
|
7 years ago |
|
Matthias Volk
|
9b59663baa
|
Moved some parametric tests into tests/pars/ dir
|
8 years ago |
|
Matthias Volk
|
a7540171ba
|
Bindings for simplification of parametric models
|
8 years ago |
|
Matthias Volk
|
19f8d47202
|
Fixed import problem in tests when storm-pars is not available
|
8 years ago |
|
Matthias Volk
|
14eedd6ca3
|
Skip tests if submodules are not supported
|
8 years ago |
|
Matthias Volk
|
e13df9b2ec
|
Formatted tests according to PEP
|
8 years ago |
|
Matthias Volk
|
f6f28b4621
|
Make config from info available
|
8 years ago |
|
Matthias Volk
|
9a73e0cd45
|
Use stormpy definitions of pycarl types in tests
|
8 years ago |
|
Matthias Volk
|
540a3f4e0c
|
Refactored constraint collector
|
8 years ago |
|
Matthias Volk
|
21e9bbf34a
|
Python bindings for storm-pars
|
8 years ago |
|
Matthias Volk
|
480c268679
|
Bindings for graph constraints
|
8 years ago |
