GitHub repository: prismmodelchecker/prism-tests
Primary language: Perl 6
Created: 2015-06-15T13:06:42Z
Description: Old version of the PRISM regression test suite; now merged into the main PRISM repo.