tempestpy

Matthias Volk 8c122e11cb Run all tests in travis		8 years ago
..
brp-16-2.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
crowds-5-5.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
crowds5_5.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
die.lab	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
die.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
die.tra	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
leader-3-5.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
leader3_5.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
nand-5-2.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago
test_conditional.pm	test files are part of stormpy lib now, which allows simpler access to them via stormpy.examples.files	8 years ago