You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
These tests require CDSChecker to be checked out into a subdirectory
|
|
named 'model-checker'.
|
|
|
|
CDSChecker can be obtained from: git://demsky.eecs.uci.edu/model-checker.git
|
|
The version last used for testing was: da671f78d0aa057272bb82f580b36a188b6331bd
|