File: README.txt

package info (click to toggle)
concurrentqueue 1.0.2%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 1,244 kB
  • sloc: cpp: 13,006; makefile: 82; ansic: 67; python: 46; sh: 18
file content (5 lines) | stat: -rw-r--r-- 255 bytes parent folder | download | duplicates (3) 
1
2
3
4
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