cprover
memory-models/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup memory-models memory-models
3 
4 # Folder memory-models
5 
6 `memory-models` contains tools related to weak memory models.