ultimate
ultimate copied to clipboard
Only view relevant inputs/outpus in tests.
Currently Req2Test prints all variable values with every test step.
Variables should only be shown if they are necessary for the test. Maybe even if they changed with regard to the last step.