projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9790538 c58ac63)
Merge pull request #2932 from YosysHQ/mwk/logger-check-expected
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 13 Aug 2021 09:45:20 +0000 (11:45 +0200)
committerGitHub <noreply@github.com>
Fri, 13 Aug 2021 09:45:20 +0000 (11:45 +0200)
logger: Add -check-expected subcommand.


Trivial merge