File: TODO

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 (11 lines) | stat: -rw-r--r-- 449 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
 
Ideas to further improve the packaging:

 * 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: 5c4efe5cd8bdfe1e85138396109876a121ca61d1

 * relacy https://github.com/dvyukov/relacy was initially distributed with the source
   tree and should instead move into a package of its own