2 Commits (dc9276fcef973995490be3307ea2b31e7196f9cd)

Author SHA1 Message Date
Joachim Klein 1571b3a8b8 Tests for various DTMC engine / solver combinations 8 years ago
Dave Parker 99c06ba2d4 Move prism-tests into this repository and update Makefile "tests" target. 8 years ago