Skip to content

Relaxed assert in Io_WritePla() to avoid failure with too shallow network.#501

Open
petterreinholdtsen wants to merge 1 commit intoberkeley-abc:masterfrom
petterreinholdtsen:writepla-assert-relaxed
Open

Relaxed assert in Io_WritePla() to avoid failure with too shallow network.#501
petterreinholdtsen wants to merge 1 commit intoberkeley-abc:masterfrom
petterreinholdtsen:writepla-assert-relaxed

Conversation

@petterreinholdtsen
Copy link
Copy Markdown

Otherwise the abc will refuse to output trivial functions(constant 1 or 0).

The issue was originally submitted to
<URL: https://bitbucket.org/alanmi/abc/issue/27/assertion-failure-in-write_pla-command >, now available via
<URL: https://web.archive.org/web/20200621081236/https://bitbucket.org/alanmi/abc/issues/27/assertion-failure-in-write_pla-command >. Sadly the example demonstrating the problem was not archived.

This issue was also reported as <URL: https://bugs.debian.org/780450 >.

…work.

Otherwise the abc will refuse to output trivial functions(constant 1 or 0).

The issue was originally submitted to
<URL: https://bitbucket.org/alanmi/abc/issue/27/assertion-failure-in-write_pla-command >,
now available via
<URL: https://web.archive.org/web/20200621081236/https://bitbucket.org/alanmi/abc/issues/27/assertion-failure-in-write_pla-command >.
Sadly the example demonstrated the problem was not archived.

This issue was also reported as <URL: https://bugs.debian.org/780450 >.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant