Skip to content

[litmus] add new tests that record the programs' output - #1926

Open
psafont wants to merge 8 commits into
herd:masterfrom
psafont:dev/pau/litmus-tests
Open

[litmus] add new tests that record the programs' output#1926
psafont wants to merge 8 commits into
herd:masterfrom
psafont:dev/pau/litmus-tests