Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content

Stream flammenwehrfer output so you get something if it times out

uxwlu requested to merge fix/flammenwehrfer-stream-output into master

Infinite loops in compilers are not unheard of (cough) and getting some output is nice in those cases :)

Maybe we should also make that stream unbuffered but that might degrade performance quite a lot of mjtest decides to output thousands of lines.

Merge request reports