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)
commit30927df881974984d6446f60bfbf16da6dd48a02
tree96b67992013c6e8fa17a05fe509425d9cb777d23
parent979053855c85b72c6344bf6350fb9a8360f3d092
parentc58ac63c97183dde25b7a42c1a8e85ab0dd7fe96
Merge pull request #2932 from YosysHQ/mwk/logger-check-expected

logger: Add -check-expected subcommand.