data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv
1: b'%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:13: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(t) == 1);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:14: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(x) == 4);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:15: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size({3{x}}) == 3*4);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:16: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(y) == 6);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:17: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(y, 1) == 6);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:18: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(y, (1+1)) == 4);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:23: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(z) == 6);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:24: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(z, 1) == 6);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:25: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(z, 2) == 8);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:26: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(z, 3) == 4);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:28: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(z[3], 1) == 8);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:29: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($size(z[3][3], 1) == 4);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:37: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($bits(t) == 1);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:38: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($bits(x) == 4);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:39: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($bits(y) == 4*6);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:40: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($bits(z) == 4*6*8);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:42: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(x) == 5);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:43: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(y) == 7);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:44: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(y, 1) == 7);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:45: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(y, (1+1)) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:47: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(z) == 7);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:48: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(z, 1) == 7);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:49: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(z, 2) == 9);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:50: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(z, 3) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:51: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(z[3]) == 9);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:52: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(z[3][3]) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:53: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($high(z[3], 2) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:55: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(x) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:56: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(y) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:57: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(y, 1) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:58: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(y, (1+1)) == 0);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:60: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(z) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:61: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(z, 1) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:62: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(z, 2) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:63: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(z, 3) == 0);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:64: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(z[3]) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:65: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(z[3][3]) == 0);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:66: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($low(z[3], 2) == 0);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:68: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(x) == 5);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:69: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(y) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:70: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(y, 1) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:71: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(y, (1+1)) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:73: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(z) == 7);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:74: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(z, 1) == 7);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:75: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(z, 2) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:76: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(z, 3) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:77: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(z[3]) == 2);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:78: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(z[3][3]) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:79: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($left(z[3], 2) == 3);\n^~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/tests/sat/sizebits.sv:81: Unsupported: Unclocked assertion\n                                                                               : ... In instance functions01\nassert property ($right(x) == 2);\n^~~~~~\n%Error: Exiting due to too many errors encountered; --error-limit=50\n        ... See the manual and https://verilator.org for more assistance.\n'
module functions01;

wire t;
wire [5:2]x;
wire [3:0]y[2:7];
wire [3:0]z[7:2][2:9];






assert property ($size(t) == 1);
assert property ($size(x) == 4);
assert property ($size({3{x}}) == 3*4);
assert property ($size(y) == 6);
assert property ($size(y, 1) == 6);
assert property ($size(y, (1+1)) == 4);




assert property ($size(z) == 6);
assert property ($size(z, 1) == 6);
assert property ($size(z, 2) == 8);
assert property ($size(z, 3) == 4);

assert property ($size(z[3], 1) == 8);
assert property ($size(z[3][3], 1) == 4);







assert property ($bits(t) == 1);
assert property ($bits(x) == 4);
assert property ($bits(y) == 4*6);
assert property ($bits(z) == 4*6*8);

assert property ($high(x) == 5);
assert property ($high(y) == 7);
assert property ($high(y, 1) == 7);
assert property ($high(y, (1+1)) == 3);

assert property ($high(z) == 7);
assert property ($high(z, 1) == 7);
assert property ($high(z, 2) == 9);
assert property ($high(z, 3) == 3);
assert property ($high(z[3]) == 9);
assert property ($high(z[3][3]) == 3);
assert property ($high(z[3], 2) == 3);

assert property ($low(x) == 2);
assert property ($low(y) == 2);
assert property ($low(y, 1) == 2);
assert property ($low(y, (1+1)) == 0);

assert property ($low(z) == 2);
assert property ($low(z, 1) == 2);
assert property ($low(z, 2) == 2);
assert property ($low(z, 3) == 0);
assert property ($low(z[3]) == 2);
assert property ($low(z[3][3]) == 0);
assert property ($low(z[3], 2) == 0);

assert property ($left(x) == 5);
assert property ($left(y) == 2);
assert property ($left(y, 1) == 2);
assert property ($left(y, (1+1)) == 3);

assert property ($left(z) == 7);
assert property ($left(z, 1) == 7);
assert property ($left(z, 2) == 2);
assert property ($left(z, 3) == 3);
assert property ($left(z[3]) == 2);
assert property ($left(z[3][3]) == 3);
assert property ($left(z[3], 2) == 3);

assert property ($right(x) == 2);
assert property ($right(y) == 7);
assert property ($right(y, 1) == 7);
assert property ($right(y, (1+1)) == 0);

assert property ($right(z) == 2);
assert property ($right(z, 1) == 2);
assert property ($right(z, 2) == 9);
assert property ($right(z, 3) == 0);
assert property ($right(z[3]) == 9);
assert property ($right(z[3][3]) == 0);
assert property ($right(z[3], 2) == 0);
endmodule
module functions01;


wire t;
wire [5:2]x;
wire [3:0]y[2:7];
wire [3:0]z[7:2][2:9];






assert property ($size(t) == 1);
assert property ($size(x) == 4);
assert property ($size({3{x}}) == 3*4);
assert property ($size(y) == 6);
assert property ($size(y, 1) == 6);
assert property ($size(y, (1+1)) == 4);




assert property ($size(z) == 6);
assert property ($size(z, 1) == 6);
assert property ($size(z, 2) == 8);
assert property ($size(z, 3) == 4);

assert property ($size(z[3], 1) == 8);
assert property ($size(z[3][3], 1) == 4);







assert property ($bits(t) == 1);
assert property ($bits(x) == 4);
assert property ($bits(y) == 4*6);
assert property ($bits(z) == 4*6*8);

assert property ($high(x) == 5);
assert property ($high(y) == 7);
assert property ($high(y, 1) == 7);
assert property ($high(y, (1+1)) == 3);

assert property ($high(z) == 7);
assert property ($high(z, 1) == 7);
assert property ($high(z, 2) == 9);
assert property ($high(z, 3) == 3);
assert property ($high(z[3]) == 9);
assert property ($high(z[3][3]) == 3);
assert property ($high(z[3], 2) == 3);

assert property ($low(x) == 2);
assert property ($low(y) == 2);
assert property ($low(y, 1) == 2);
assert property ($low(y, (1+1)) == 0);

assert property ($low(z) == 2);
assert property ($low(z, 1) == 2);
assert property ($low(z, 2) == 2);
assert property ($low(z, 3) == 0);
assert property ($low(z[3]) == 2);
assert property ($low(z[3][3]) == 0);
assert property ($low(z[3], 2) == 0);

assert property ($left(x) == 5);
assert property ($left(y) == 2);
assert property ($left(y, 1) == 2);
assert property ($left(y, (1+1)) == 3);

assert property ($left(z) == 7);
assert property ($left(z, 1) == 7);
assert property ($left(z, 2) == 2);
assert property ($left(z, 3) == 3);
assert property ($left(z[3]) == 2);
assert property ($left(z[3][3]) == 3);
assert property ($left(z[3], 2) == 3);

assert property ($right(x) == 2);
assert property ($right(y) == 7);
assert property ($right(y, 1) == 7);
assert property ($right(y, (1+1)) == 0);

assert property ($right(z) == 2);
assert property ($right(z, 1) == 2);
assert property ($right(z, 2) == 9);
assert property ($right(z, 3) == 0);
assert property ($right(z[3]) == 9);
assert property ($right(z[3][3]) == 0);
assert property ($right(z[3], 2) == 0);
endmodule