• Checkfence was not compilable under Linux. Reasons: capitalization of file names was different in source code and in the package, one forward class declaration was missing, standard header files had to be #include'd. Solution: capitalization corrected, forward class declaration inserted, necessary header files #include'd.
• Checkfence output a PRIMARY FAIL on reasonable small examples. Treatment: a minimal example was produced. Later, the reason was found: memorymodel should be written as memmodel. Also, comments should be attached at certain places in the code. Solution: memmodel written correctly, comments attached. Now 8 threads can be verified. At 9 threads, an internal assertion is triggered.