diff options
Diffstat (limited to 'test/errors/type')
| -rw-r--r-- | test/errors/type/BulkConnect.fir | 2 | ||||
| -rw-r--r-- | test/errors/type/NodeWithFlips.fir | 2 | ||||
| -rw-r--r-- | test/errors/type/Primop.fir | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/errors/type/BulkConnect.fir b/test/errors/type/BulkConnect.fir index da62ef4d..4e02402c 100644 --- a/test/errors/type/BulkConnect.fir +++ b/test/errors/type/BulkConnect.fir @@ -1,4 +1,4 @@ -; RUN: firrtl -i %s -o %s.flo -X flo -p c 2>&1 | tee %s.out | FileCheck %s +; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s ;CHECK: BulkConnect.fir@10.4: [module Top] Type mismatch. ;CHECK: BulkConnect.fir@14.4: [module Top] Type mismatch. ;CHECK: BulkConnect.fir@26.4: [module Top] Type mismatch. diff --git a/test/errors/type/NodeWithFlips.fir b/test/errors/type/NodeWithFlips.fir index 1342f78d..80c2b160 100644 --- a/test/errors/type/NodeWithFlips.fir +++ b/test/errors/type/NodeWithFlips.fir @@ -1,4 +1,4 @@ -; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s +; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s ; CHECK: Node cannot be a bundle type with flips. circuit Top : diff --git a/test/errors/type/Primop.fir b/test/errors/type/Primop.fir index cb75521a..f687c754 100644 --- a/test/errors/type/Primop.fir +++ b/test/errors/type/Primop.fir @@ -1,4 +1,4 @@ -; RUN: firrtl -i %s -o %s.flo -X flo -p c | tee %s.out | FileCheck %s +; RUN: firrtl -i %s -o %s.v -X verilog -p c 2>&1 | tee %s.out | FileCheck %s ; CHECK: Primop mux requires all operands to have the same type. ; CHECK: Primop add cannot operate on non-ground types. ; CHECK: Primop mux requires argument SInt("h1") to be a UInt type. |