Use word 'bytes' instead of 'octets'.
model-checker : update system state comparison
model-checker : fix bugged mutual exclusion example in SMPI
model-checker : fix detection of dangling pointers in system state comparison
ctest does not want to execute scripts without the shell provided explicitely
as win does not support ucontexts, use raw as the default factory for this platform
for out of source builds and testing, we should use this version of the smpirun script
remove ugly quotes
syntax error that breaks Java Windows compilation on amd64
as we replace the path to tesh by a variable, memtest generation was not working properly