From 6ee01308f22bdbbad3ab6717e98d78917b84c43a Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Fri, 11 Jul 2025 00:33:01 +0200
Subject: [PATCH] dfflibmap: show dffe inference is broken by space ANDs

---
 tests/techmap/dfflibmap.lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/techmap/dfflibmap.lib b/tests/techmap/dfflibmap.lib
index d0cd472c3..54a44a296 100644
--- a/tests/techmap/dfflibmap.lib
+++ b/tests/techmap/dfflibmap.lib
@@ -55,7 +55,7 @@ library(test) {
   cell (dffe) {
     area : 6;
     ff("IQ", "IQN") {
-      next_state : "(D&EN) | (IQ&!EN)";
+      next_state : "(D EN) | (IQ !EN)";
       clocked_on : "!CLK";
     }
     pin(D) {