Prototype auto test-case generation for Minidecaf. (Not for general C. Use CSmith for that.)
Primary LanguagePython