Merge pull request #3249 from YosysHQ/micko/no_startoffset
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 25 Mar 2022 13:29:21 +0000 (14:29 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Mar 2022 13:29:21 +0000 (14:29 +0100)
Add -no-startoffset option to write_aiger


Trivial merge