This is a simple example of diy/litmus usage for an x86 machine.
The example  is described in diy manual 
<http://diy.inria.fr/doc/gen.html#test2>

** Compile and install diy and litmus (cf. ../INSTALL.txt),
   on some x86 machine with at least 2 cores.

** Build the tests with diy:

 ( cd podwr && diy7 -conf x86-podwr.conf )
 ( cd rfi && diy7 -conf x86-rfi.conf )
 ( cd safe &&  diy7 -conf x86-safe.conf )


** Run the tests with litmus
If the machine has 4 cores or more, the following
commands should execute smoothly.

 litmus7 rfi/@all > rfi/rfi.00
 litmus7 podwr/@all > podwr/podwr.00
 litmus7 safe/@all > safe/safe.00

If the machine has 2 cores, try:

 litmus7 -a 2 -limit true rfi/@all > rfi/rfi.00
 litmus7 -a 2 -limit true podwr/@all > podwr/podwr.00
 litmus7 -a 2 -limit true safe/@all > safe/safe.00

** Check relaxations with readRelax

  readRelax7  */*.00

  ....

 ** Relaxation summary **
 {Rfi} With {Fre, Wse, PodWW, PodRR} {Fre, PodRR}
 {PodWR} With {Fre}

If you are lucky, you should see that Rfi and PodWR are
relaxed by your x86 machine.


