microkit icon indicating copy to clipboard operation
microkit copied to clipboard

added concat of headers as a build output

Open isubasinghe opened this issue 1 year ago • 3 comments

Motivation

These artefacts are needed as part of the verification pipeline, these concatenated files are cleaned and then fed into the C parser.

isubasinghe avatar Nov 26 '23 23:11 isubasinghe