Hi Andreas,
First thanks for your awesome piece of software !
It's really a great tool but I couldn't avoid to notice that the expected result of the test cases are missing from the output Latex PDF.
I took the two test cases that are in doc/testcases and run 'make'.
I see all the fields except Expected Result.
Do I have to add something in latex/requirements.tex?
Thanks