update aliases

Author: bksaiki

.cargo/config.toml

@@ -1,15 +1,15 @@
 [alias]
-bool     = ["run", "--release", "--bin", "bool",     "--", "synth"]
-bv-bool =  ["run", "--release", "--bin", "bv-bool",  "--", "synth"]
-bv4      = ["run", "--release", "--bin", "bv4",      "--", "synth"]
-bv8      = ["run", "--release", "--bin", "bv8",      "--", "synth"]
-bv16     = ["run", "--release", "--bin", "bv16",     "--", "synth"]
-bv32     = ["run", "--release", "--bin", "bv32",     "--", "synth"]
-halide   = ["run", "--release", "--bin", "halide",   "--", "synth"]
-nat      = ["run", "--release", "--bin", "nat",      "--", "synth"]
-pos      = ["run", "--release", "--bin", "pos",      "--", "synth"]
-rational = ["run", "--release", "--bin", "rational", "--", "synth"]
-trig     = ["run", "--release", "--bin", "trig",     "--", "synth"]
+bool     = ["test", "--release", "--test", "bool", "--", "test::run", "--exact", "--nocapture"]
+# bv-bool =  ["test", "--release", "--test", "bv-bool", "--", "test::run", "--exact", "--nocapture"]
+# bv4      = ["test", "--release", "--test", "bv4", "--", "test::run", "--exact", "--nocapture"]
+# bv8      = ["test", "--release", "--test", "bv8", "--", "test::run", "--exact", "--nocapture"]
+# bv16     = ["test", "--release", "--test", "bv16", "--", "test::run", "--exact", "--nocapture"]
+bv32     = ["test", "--release", "--test", "bv32", "--", "test::run", "--exact", "--nocapture"]
+halide   = ["test", "--release", "--test", "halide", "--", "test::run", "--exact", "--nocapture"]
+# nat      = ["test", "--release", "--test", "nat", "--", "test::run", "--exact", "--nocapture"]
+# pos      = ["test", "--release", "--test", "pos", "--", "test::run", "--exact", "--nocapture"]
+rational = ["test", "--release", "--test", "rational", "--", "test::run", "--exact", "--nocapture"]
+trig     = ["test", "--release", "--test", "trig", "--", "test::run", "--exact", "--nocapture"]
 
 [build]
 rustflags = "-C target-cpu=native"