Initial Commit

This commit is contained in:
Norman Lansing
2026-01-28 19:08:51 -05:00
commit ecb33115bf
54042 changed files with 9695586 additions and 0 deletions

View File

@@ -0,0 +1,5 @@
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