mirror of
https://github.com/intrepidcs/libicsneo.git
synced 2026-08-05 09:28:40 +02:00
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