From 54e787c258928e5317672679b545483d1d7bc806 Mon Sep 17 00:00:00 2001
From: Bea Healy <beahealy22@gmail.com>
Date: Wed, 20 Nov 2024 16:22:41 +0000
Subject: [PATCH] [HWToBTOR2] Swap to temp file placeholder

---
 test/Conversion/HWToBTOR2/comb.mlir           | 2 +-
 test/Conversion/HWToBTOR2/combOOO.mlir        | 2 +-
 test/Conversion/HWToBTOR2/compreg-resets.mlir | 2 +-
 test/Conversion/HWToBTOR2/compreg.mlir        | 2 +-
 test/Conversion/HWToBTOR2/errors.mlir         | 2 +-
 test/Conversion/HWToBTOR2/init.mlir           | 2 +-
 test/Conversion/HWToBTOR2/seq.mlir            | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/test/Conversion/HWToBTOR2/comb.mlir b/test/Conversion/HWToBTOR2/comb.mlir
index 67a3851a7ba0..ae4bed130244 100644
--- a/test/Conversion/HWToBTOR2/comb.mlir
+++ b/test/Conversion/HWToBTOR2/comb.mlir
@@ -1,4 +1,4 @@
-// RUN: circt-opt %s --convert-hw-to-btor2 -o tmp.mlir | FileCheck %s  
+// RUN: circt-opt %s --convert-hw-to-btor2 -o %t | FileCheck %s  
 
 module {
   // CHECK:   [[NID0:[0-9]+]] sort bitvec 32
diff --git a/test/Conversion/HWToBTOR2/combOOO.mlir b/test/Conversion/HWToBTOR2/combOOO.mlir
index 23d62c41e9a6..ea85624de221 100644
--- a/test/Conversion/HWToBTOR2/combOOO.mlir
+++ b/test/Conversion/HWToBTOR2/combOOO.mlir
@@ -1,4 +1,4 @@
-// RUN: circt-opt %s --convert-hw-to-btor2 -o tmp.mlir | FileCheck %s  
+// RUN: circt-opt %s --convert-hw-to-btor2 -o %t | FileCheck %s  
 
 module {
   // CHECK:   [[NID0:[0-9]+]] sort bitvec 32
diff --git a/test/Conversion/HWToBTOR2/compreg-resets.mlir b/test/Conversion/HWToBTOR2/compreg-resets.mlir
index 5f475cfcdd2b..7cc46ac0f430 100644
--- a/test/Conversion/HWToBTOR2/compreg-resets.mlir
+++ b/test/Conversion/HWToBTOR2/compreg-resets.mlir
@@ -1,4 +1,4 @@
-// RUN: circt-opt %s --convert-hw-to-btor2 -o tmp.mlir | FileCheck %s  
+// RUN: circt-opt %s --convert-hw-to-btor2 -o %t | FileCheck %s  
 
 module {
   //CHECK:    [[NID0:[0-9]+]] sort bitvec 1
diff --git a/test/Conversion/HWToBTOR2/compreg.mlir b/test/Conversion/HWToBTOR2/compreg.mlir
index a64181561cd4..6294423a91b6 100644
--- a/test/Conversion/HWToBTOR2/compreg.mlir
+++ b/test/Conversion/HWToBTOR2/compreg.mlir
@@ -1,4 +1,4 @@
-// RUN: circt-opt %s --convert-hw-to-btor2 -o tmp.mlir | FileCheck %s  
+// RUN: circt-opt %s --convert-hw-to-btor2 -o %t | FileCheck %s  
 
 module {
     //CHECK:    [[NID0:[0-9]+]] sort bitvec 1
diff --git a/test/Conversion/HWToBTOR2/errors.mlir b/test/Conversion/HWToBTOR2/errors.mlir
index 6106e54d3c95..bfc793485842 100644
--- a/test/Conversion/HWToBTOR2/errors.mlir
+++ b/test/Conversion/HWToBTOR2/errors.mlir
@@ -1,4 +1,4 @@
-// RUN: circt-opt %s --convert-hw-to-btor2 --verify-diagnostics --split-input-file -o tmp.mlir
+// RUN: circt-opt %s --convert-hw-to-btor2 --verify-diagnostics --split-input-file -o %t
 
 hw.module @init_emitter(out out: !seq.immutable<i32>) {
   %init = seq.initial () {
diff --git a/test/Conversion/HWToBTOR2/init.mlir b/test/Conversion/HWToBTOR2/init.mlir
index 69a03d6c9ac7..8764f8a0422f 100644
--- a/test/Conversion/HWToBTOR2/init.mlir
+++ b/test/Conversion/HWToBTOR2/init.mlir
@@ -1,4 +1,4 @@
-// RUN: circt-opt %s --convert-hw-to-btor2 -o tmp.mlir | FileCheck %s  
+// RUN: circt-opt %s --convert-hw-to-btor2 -o %t | FileCheck %s  
 
 module {
   //CHECK:    [[NID0:[0-9]+]] sort bitvec 1
diff --git a/test/Conversion/HWToBTOR2/seq.mlir b/test/Conversion/HWToBTOR2/seq.mlir
index eebc3e2072dd..8c0d18fc5f8a 100644
--- a/test/Conversion/HWToBTOR2/seq.mlir
+++ b/test/Conversion/HWToBTOR2/seq.mlir
@@ -1,4 +1,4 @@
-// RUN: circt-opt %s --convert-hw-to-btor2 -o tmp.mlir | FileCheck %s  
+// RUN: circt-opt %s --convert-hw-to-btor2 -o %t | FileCheck %s  
 
 module {
     //CHECK:    [[NID0:[0-9]+]] sort bitvec 1