A Vim Syntax Highlighting Plugin for CPAchecker's Specification Automata
Primary LanguageVim ScriptMIT LicenseMIT