ccmop/ccmop repository overview

CCMOP is a runtime verification tool for C/C++ programs. If you want to get more detail information,please refer to the following link. https://rv-ccmop.github.io/⁠