[HWToBTOR2] Swap to temp file placeholder (#7852)

TaoBi22 · web-flow · commit a206aacea833 · 2024-11-20T16:37:41.000Z
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// RUN: circt-opt %s --convert-hw-to-btor2 -o tmp.mlir \| FileCheck %s`
	`1`	`+// RUN: circt-opt %s --convert-hw-to-btor2 -o %t \| FileCheck %s`
`2`	`2`
`3`	`3`	`module {`
`4`	`4`	`// CHECK: [[NID0:[0-9]+]] sort bitvec 32`