Matthias Volk
|
ae036cfad5
|
Adapted state space sizes in tests as Storm improvements lead to smaller models
|
5 years ago |
|
Matthias Volk
|
5a61c88b6d
|
Tests for scheduler application and MA->CTMC translation
|
5 years ago |
Sebastian Junges
|
910e24a73e
|
fixed tests based on changes in storm
|
6 years ago |
|
Sebastian Junges
|
b2b647203b
|
add pomdp support to stormpy
|
6 years ago |
|
Matthias Volk
|
54433ca8a3
|
Tests for symbolic model building
|
7 years ago |
|
Matthias Volk
|
cfb6dfbf2f
|
Better naming for sparse model building
|
7 years ago |
|
Matthias Volk
|
9b59663baa
|
Moved some parametric tests into tests/pars/ dir
|
7 years ago |
|
Matthias Volk
|
bcab426bd5
|
Added missing cases for CTMC and MA in model building
|
7 years ago |
|
Sebastian Junges
|
8dfbefd676
|
reduce to state based rewards
|
7 years ago |
|
Sebastian Junges
|
d1a94d427f
|
rewards for dtmcs
|
7 years ago |
|
Matthias Volk
|
5a26d0e99f
|
Test for building MDP
|
7 years ago |
|
Matthias Volk
|
70e1985ad0
|
Raise StormError if symbolic description has undefined constants
|
7 years ago |
|
Matthias Volk
|
1197155d8d
|
Binding for undefined_constants_are_graph_preserving
|
7 years ago |
|
Matthias Volk
|
29cfa574b8
|
Bindings for instantiating constants in SymbolicModelDescriptions
|
7 years ago |
|
Matthias Volk
|
e13df9b2ec
|
Formatted tests according to PEP
|
7 years ago |
Tom Janson
|
56ba8685d5
|
extract parametric prism program parse test
|
8 years ago |
|
Tom Janson
|
6652e4acf1
|
whitespace / PEP8
|
8 years ago |
|
Matthias Volk
|
26d2b90f44
|
Bindings for state labeling
|
8 years ago |
|
Sebastian Junges
|
e7db19154d
|
tests updated
|
8 years ago |
|
Matthias Volk
|
ad65f009ad
|
Build from prism program has default formulas = []
|
8 years ago |
|
Sebastian Junges
|
0c79aba2c7
|
extracted from storm repo, refactored formula
|
8 years ago |
