From 7e7928b0dd9d37a71b1c286042cdb8c98f30bba2 Mon Sep 17 00:00:00 2001
From: ThisKappaIsGrey <thanatechaumnuaiwit@gmail.com>
Date: Fri, 15 Dec 2023 19:59:32 -0800
Subject: [PATCH] Add suggested code

---
 backends/lakeroad/example.ys  | 7 ++++---
 backends/lakeroad/lakeroad.cc | 3 +--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/backends/lakeroad/example.ys b/backends/lakeroad/example.ys
index 09386a6ffc9..f5431b6d917 100644
--- a/backends/lakeroad/example.ys
+++ b/backends/lakeroad/example.ys
@@ -4,7 +4,8 @@ module test(input [1:0] a, input b, output o);
 endmodule
 EOF
 
-# Write output to file instead of stdout
-write_lakeroad file.egg
 # Write output to stdout
-# write_lakeroad
+write_lakeroad
+# Write output to file.egg
+write_lakeroad file.egg
+!rm file.egg
diff --git a/backends/lakeroad/lakeroad.cc b/backends/lakeroad/lakeroad.cc
index a83efcf60f7..e511c9824d3 100644
--- a/backends/lakeroad/lakeroad.cc
+++ b/backends/lakeroad/lakeroad.cc
@@ -1716,8 +1716,7 @@ struct BtorBackend : public Backend {
 		log_header(design, "Executing Lakeroad egglog backend.\n");
 		RTLIL::Module *topmod = design->top_module();
 
-		// Copied from firrtl code. Not sure why "filename" is not set ever
-		// even when I pass "write_lakeroad hello.egg" or something
+		// Copied from firrtl code.
 		size_t argidx = args.size();
 
 		if (filename == "") {