You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tree: a2517c7a12

main

tempestpy_adaptions

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'a2517c7a12'

${ noResults }

tempest/src/test

History

Matthias Volk a2517c7a12 Set mtime for StormEigen		8 years ago
..
abstraction	made storm compile again with expressions in time-bounds of until formula	9 years ago
adapter	moved tests to src folder, have several binaries now instead of a single monolithic test	9 years ago
builder	added test for using actions multiple times in different synch vectors in JANI model (DD builder)	8 years ago
logic	made storm compile again with expressions in time-bounds of until formula	9 years ago
modelchecker	improved exact computations	8 years ago
parser	Wrapper for file opening	8 years ago
permissiveschedulers	disable tests which depend on mathsat if mathsat is not available, gives a warning in verbose output	9 years ago
solver	Fixed game solver test and potential memory leaks	8 years ago
storage	fixed bug and added testsfor symbolic linear equation solver (rational number and rational function)	8 years ago
transformer	moved tests to src folder, have several binaries now instead of a single monolithic test	9 years ago
utility	Merge branch 'master' into refactor_pla	8 years ago
CMakeLists.txt	Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/storm	9 years ago
storm-test.cpp	fixed some wrong capitalization	8 years ago