summaryrefslogtreecommitdiff
path: root/regress/tools-platform/spec
AgeCommit message (Expand)AuthorFilesLines
2020-05-02regress: move tests for platform tools to tools-platformrillig1-2/+12
2020-05-01regress: add tools-platform/ for testing the platform toolsrillig1-0/+39