dehnert
|
4591dba631
|
made maxsat-based counterexample generation be applicable to DTMCs and MDPs
|
7 years ago |
|
dehnert
|
676120229b
|
intermediate stage
|
7 years ago |
TimQu
|
ea6c957030
|
tests for multi-dimensional cost bounded DTMCs
|
7 years ago |
|
TimQu
|
64a0d7ec3a
|
added missing file
|
7 years ago |
|
TimQu
|
ade8078759
|
added test for lower bounded properties
|
7 years ago |
|
TimQu
|
591a53582a
|
fixed test
|
7 years ago |
|
TimQu
|
e1aba323bf
|
more tests for reward unfolding
|
7 years ago |
|
TimQu
|
172b17d7ae
|
simple testcase for the reward unfolding
|
7 years ago |
|
dehnert
|
a7dcdcd84d
|
started on tests and added a ton of debug output
|
7 years ago |
|
dehnert
|
52b07a0c2f
|
fixed a bug in sparse matrix builder, fixed some tests
|
7 years ago |
|
TimQu
|
0cdd32ff9f
|
added two test cases for the drn parser
|
8 years ago |
|
TimQu
|
722e67fe64
|
parsing choice labels for explicit models
|
8 years ago |
|
dehnert
|
03ad4c2783
|
first version of symbolic bisimulation minimization
|
8 years ago |
|
TimQu
|
c4dffe9a8b
|
tests for step bounded properties
|
8 years ago |
|
TimQu
|
24bc53549c
|
more tests on pmdps and fixes
|
8 years ago |
|
TimQu
|
18dac3231e
|
.... actually fixed pcaa tests
|
8 years ago |
|
TimQu
|
f02ffd9d5b
|
fixed pcaa tests
|
8 years ago |
|
TimQu
|
6eeae9ed9b
|
fixed pcaa tests
|
8 years ago |
|
TimQu
|
c1063f27cc
|
added a few more tests for multi-objective MAs. Also fixed/improved minor stuff.
|
8 years ago |
|
TimQu
|
ae3ef2f14a
|
added testfiles for multiobjective mc tests
|
8 years ago |
|
dehnert
|
6fe633b2c7
|
fixed more tests, abstraction tests now passing
|
8 years ago |
Matthias Volk
|
cd971ba6fe
|
Set correct example path for tests
|
8 years ago |
|
dehnert
|
77ed6a12b0
|
Moved example file to test folder.
|
8 years ago |
|
dehnert
|
bf5018b858
|
post-merge fixes
|
8 years ago |
|
Matthias Volk
|
6629099260
|
Added testfiles for stormpy
|
8 years ago |
