In more detail, using kater's automatically generated checks on average is twice as fast as running GenMC with the full consistency checks ...
確定! 回上一頁