From 2b9920e6a5f246ae7c7d2e3d1c77e60665eb9763 Mon Sep 17 00:00:00 2001
From: Petter Reinholdtsen <pere@debian.org>
Date: Thu, 23 Apr 2026 07:31:33 +0200
Subject: [PATCH] Relaxed assert in Io_WritePla() to avoid failure with too
 shallow network.

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 >.
---
 src/base/io/ioWritePla.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/io/ioWritePla.c b/src/base/io/ioWritePla.c
index aa6a933d8..45dc74530 100644
--- a/src/base/io/ioWritePla.c
+++ b/src/base/io/ioWritePla.c
@@ -174,7 +174,7 @@ int Io_WritePla( Abc_Ntk_t * pNtk, char * pFileName )
     FILE * pFile;
 
     assert( Abc_NtkIsSopNetlist(pNtk) );
-    assert( Abc_NtkLevel(pNtk) == 1 );
+    assert( Abc_NtkLevel(pNtk) <= 1 );
 
     pFile = fopen( pFileName, "w" );
     if ( pFile == NULL )