More testing

diff --git a/tests/various/specify.v b/tests/various/specify.v
index 68d3e33fc140dbdfe9c91442912c6c156e474d4f..afc421da8a3eda3667a29534506d076550548301 100644 (file)
--- a/tests/various/specify.v
+++ b/tests/various/specify.v
@@ -24,5 +24,7 @@ module test2 (
                `define T_rise 1
                `define T_fall 2
                (A => Q) = (`T_rise,`T_fall);
+               //(B => Q) = (`T_rise+`T_fall)/2.0;
+               (B => Q) = 1.5;
        endspecify
 endmodule

diff --git a/tests/various/specify.ys b/tests/various/specify.ys
index c4e90170531ac8cc7dd07a90f47bd2566e3ffb2f..87d98e0a070dc09753082ebe11e4bf9bb375e902 100644 (file)
--- a/tests/various/specify.ys
+++ b/tests/various/specify.ys
@@ -5,7 +5,7 @@ select t:$specify2 -assert-count 0
 select t:$specify3 -assert-count 1
 select t:$specrule -assert-count 2
 cd test2
-select t:$specify2 -assert-count 1
+select t:$specify2 -assert-count 2
 select t:$specify3 -assert-count 0
 select t:$specrule -assert-count 0
 write_verilog specify.out
@@ -17,9 +17,10 @@ select t:$specify2 -assert-count 0
 select t:$specify3 -assert-count 1
 select t:$specrule -assert-count 2
 cd test2
-select t:$specify2 -assert-count 1
+select t:$specify2 -assert-count 2
 select t:$specify3 -assert-count 0
 select t:$specrule -assert-count 0
 design -stash gate
 
 # TODO: How to check $specify and $specrule-s are equivalent?
+#       Otherwise, need more select statements to check parameter values are as expected?