Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM memory models. Target programs should use pthreads for concurrency, and each thread should be deterministic when run in isolation.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results