/csmock

A tool for static analysis, dynamic analysis, and formal verification of RPM packages

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Issues