Matthias Volk
|
3bf516f08e
|
Changed constructor of ParameterRegion to take a valuation.
Use ParameterRegion.create_from_string() to initialize a region from string.
|
5 years ago |
Matthias Volk
|
ae8615533b
|
Relaxed relative tolerance for some model checking results
|
6 years ago |
Sebastian Junges
|
04f70bd706
|
Additional tests for PLA bindings
|
7 years ago |
Matthias Volk
|
a7e623d29b
|
Updated bindings for PLA after environment change
|
7 years ago |
Matthias Volk
|
19f8d47202
|
Fixed import problem in tests when storm-pars is not available
|
7 years ago |
Matthias Volk
|
14eedd6ca3
|
Skip tests if submodules are not supported
|
7 years ago |
Matthias Volk
|
e13df9b2ec
|
Formatted tests according to PEP
|
7 years ago |
Matthias Volk
|
9a73e0cd45
|
Use stormpy definitions of pycarl types in tests
|
7 years ago |
Matthias Volk
|
e27a6f5265
|
Added bindings for RegionResultHypthesis
|
7 years ago |
Matthias Volk
|
21e9bbf34a
|
Python bindings for storm-pars
|
8 years ago |
Matthias Volk
|
bab9d366d4
|
Fixed PLA bindings after updates
|
8 years ago |
Matthias Volk
|
2e45a11873
|
Gather derivatives for PLA
|
8 years ago |
Matthias Volk
|
1aee92553e
|
Make all arguments available for analyzeRegion
|
8 years ago |
Matthias Volk
|
70ddde905f
|
Renaming to PLAChecker
|
8 years ago |
Matthias Volk
|
fd1c9a586e
|
Add PLA support
|
8 years ago |