c-semantics icon indicating copy to clipboard operation
c-semantics copied to clipboard

Published 20 hours ago • verified publisher icon kframework

remove kcc_config files from version control

Open charala1 opened this issue 6 years ago • 0 comments

This was added to prevent differences in error messages depending on whether that file was produced or not. It might not be needed anymore because I think we're chopping that line now anyway, but please verify locally -- these tests are run on rv-match, not in the c-sem pr job.

Originally posted by @chathhorn in https://github.com/kframework/c-semantics/pull/473#issuecomment-502783315

charala1 avatar Jun 21 '19 20:06 charala1