Convert test inputs from the version 1 file format to version 2 - #879

Convert test inputs from the version 1 file format to version 2#879

mernst wants to merge 11 commits into

codespecs:mastercodespecs/daikon:masterfrom

mernst:convert-v1-test-inputsmernst/daikon:convert-v1-test-inputsCopy head branch name to clipboard