Test programs may also use our included happens-before race detector by
including <librace.h> and utilizing the appropriate functions
(store_{8,16,32,64}() and load_{8,16,32,64}()) for loading/storing data from/to
-from non-atomic shared memory.
+non-atomic shared memory.
Test programs should be compiled against our shared library (libmodel.so) using
the headers in the include/ directory. Then the shared library must be made