Added more 'fake' tests. infer-widths now collects constraints

1 files changed, 3 insertions, 3 deletions

diff --git a/test/passes/infer-widths/gcd.fir b/test/passes/infer-widths/gcd.fir
index 3e1a02f5..2adba2b8 100644
--- a/test/passes/infer-widths/gcd.fir
+++ b/test/passes/infer-widths/gcd.fir
@@ -6,7 +6,7 @@ circuit top :
       input x : UInt
       input y : UInt
       output q : UInt
-      q := sub-wrap(x, y)
+      q := sub-wrap-uu(x, y)
    module gcd :
       input a : UInt(16)
       input b : UInt(16)
@@ -17,7 +17,7 @@ circuit top :
       reg y : UInt
       x.init := UInt(0)
       y.init := UInt(42)
-      when gt(x, y) :
+      when gt-uu(x, y) :
          inst s of subtracter
          s.x := x
          s.y := y
@@ -30,7 +30,7 @@ circuit top :
       when e :
          x := a
          y := b
-      v := equal(v, UInt(0))
+      v := equal-uu(v, UInt(0))
       z := x
    module top :
       input a : UInt(16)