sven
/
libicsneo
mirror of https://github.com/intrepidcs/libicsneo.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
libicsneo/include/icsneo/third-party/concurrentqueue/tests/CDSChecker
History
Paul Hollinsky 42780dc610 Add ReaderWriterQueue and update ConcurrentQueue 2020-03-09 13:38:14 -04:00
..
README.txt Add ReaderWriterQueue and update ConcurrentQueue 2020-03-09 13:38:14 -04:00
corealgo.h Add ReaderWriterQueue and update ConcurrentQueue 2020-03-09 13:38:14 -04:00
enqueue_dequeue_many.cpp Add ReaderWriterQueue and update ConcurrentQueue 2020-03-09 13:38:14 -04:00
enqueue_dequeue_one.cpp Add ReaderWriterQueue and update ConcurrentQueue 2020-03-09 13:38:14 -04:00
makefile Add ReaderWriterQueue and update ConcurrentQueue 2020-03-09 13:38:14 -04:00

README.txt

This file contains invisible Unicode characters!

This file contains invisible Unicode characters that may be processed differently from what appears below. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to reveal hidden characters.

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