Great to see tests here. One think that comes into my mind is if it is possible to not only assert that no crash happens (`DoesNotThrow`)  but even assert that the program actually is being executed. I recall that the _TestProgram_ actually does something like mirroring the input back to output. Maybe there's a way to grab the `stdout` and assert it to ensure that the program really is executed.