50 Commits (a526933814375ebe83cb5406e17e638a4f1fcc3f)

Author SHA1 Message Date
Kevin Batz 92275c3960 tests for prism programs and expressions 6 years ago
Kevin Batz a762b28b63 additional bindings for expressions and prism programs 6 years ago
Matthias Volk 72bbb161b3 Removed print statement in tests 6 years ago
Matthias Volk 341bd544e3 Added tests for MAs: scheduler extraction and transformation to MDPs 6 years ago
Matthias Volk aae472389e Added test for scheduler 6 years ago
Sebastian Junges 910e24a73e fixed tests based on changes in storm 6 years ago
Sebastian Junges cec2861a5d several extensions and fixes for jani data structures 6 years ago
Sebastian Junges ad4ce3199f add some variants of prism to jani 6 years ago
Sebastian Junges 1967781527 add (failing) prism to jani test 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
Sebastian Junges f98575d82c ExpressionParser 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
Matthias Volk ef38b73227 Added binding for SparseMatrix::getSubmatrix 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
Matthias Volk 9a73e0cd45 Use stormpy definitions of pycarl types in tests 7 years ago
Matthias Volk 66da4e5463 Made expression module part of storage module 8 years ago
Matthias Volk 21e9bbf34a Python bindings for storm-pars 8 years ago
Matthias Volk b6061cc620 Updated bindings to new api 8 years ago
Matthias Volk ed4fba1277 Updated tests as matrix does not contain 0-transitions anymore 8 years ago
Sebastian Junges d1b797a126 fixes after updated pycarl and storm 8 years ago
Sebastian Junges e960b41315 fixed tests to be compatible with pycarl v2 8 years ago
Matthias Volk 3c7a4b49a5 PmcResult is CheckResult + constraints 8 years ago
Tom Janson f094216dce crudely sanity-check instance matrix content 8 years ago
Tom Janson 56ba8685d5 extract parametric prism program parse test 8 years ago
Tom Janson 64701f79d0 more cosmetics 8 years ago
Tom Janson 6652e4acf1 whitespace / PEP8 8 years ago
Matthias Volk 9618b5ca31 Length for states and actions 8 years ago
Matthias Volk ed2875eb7d Changed state and action for models 8 years ago
Matthias Volk c017949d0c Use matrix instead of model for iterators 8 years ago
Matthias Volk 26d2b90f44 Bindings for state labeling 8 years ago
sjunges ac9a233aaf ModelInstantiator for MDP & DTMC 8 years ago
Sebastian Junges e7db19154d tests updated 8 years ago
Matthias Volk 95f83a7224 Binding for CheckResult 8 years ago
Sebastian Junges 32eae51b16 first working test for model instantiator 8 years ago
Matthias Volk 008a780a9d Added test cases for BitVector 8 years ago
Matthias Volk ad65f009ad Build from prism program has default formulas = [] 8 years ago
Tom Janson 2c57642ca0 use math.isclose for float comparison asserts 8 years ago
Sebastian Junges 0c79aba2c7 extracted from storm repo, refactored formula 8 years ago