Is there a way to directly generate a file using stempel.py gen for the bench command or kerncraft?
Using python stempel.py gen -D 3 -r 2 -s -i always adds a header which make kerncraft and stempel itself fail. Could the Header be printed as a comment? This would allow us to just redirect the output into a file for further processing (e.g. python stempel.py gen -D 3 -r 2 -s -i > code.c)
Is there a way to directly generate a file using
stempel.py gen
for thebench
command or kerncraft?Using
python stempel.py gen -D 3 -r 2 -s -i
always adds a header which make kerncraft and stempel itself fail. Could the Header be printed as a comment? This would allow us to just redirect the output into a file for further processing (e.g.python stempel.py gen -D 3 -r 2 -s -i > code.c
)