From 19271bd996a79cb4be1db658fcf18227ee0a1dff Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Fri, 5 Apr 2019 14:42:25 -0700
Subject: [PATCH] abc -dff now implies "-D 0" otherwise retiming doesn't happen

---
 passes/techmap/abc.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index 21b70f492..c828ad8ed 100644
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1674,6 +1674,8 @@ struct AbcPass : public Pass {
 			}
 			if (arg == "-dff") {
 				dff_mode = true;
+				if (delay_target.empty())
+					delay_target = "-D 0";
 				continue;
 			}
 			if (arg == "-clk" && argidx+1 < args.size()) {
-- 
2.30.2