Verifying C++ using a pragma-based automated verification paradigm - View it on GitHub