std test failure with VCS

[dalance]

test_std_types_pkg with VCS is failed like below:

[INFO ]    Compiling test (test_std_types_pkg)
[INFO ]    Executing test (test_std_types_pkg)
error detected
error detected
error detected
error detected
[ERROR]       Failed test (test_std_types_pkg)
[ERROR]    Completed tests : 0 passed, 1 failed

The failed point is

veryl/crates/std/veryl/src/pkg/types.veryl

Lines 86 to 88 in bbc5d9a

	VARIABLE = 'x; \
	assert(VARIABLE === '0) \
	else $error("error detected"); \

assert(VARIABLE == '0) is OK.

[taichi-ishitani]

This test is for unsigned bit vector types so this assertion (VARIABLE === '0) should be passed.

[dalance]

Should we use == instead of === in this case?

[taichi-ishitani]

This assertion checks if VARIABLE does not contain x/z so we should use === operator.

[dalance]

Do you think this issue is a bug of VCS?

[taichi-ishitani]

Do you think this issue is a bug of VCS?

Yes, I think so.

[taichi-ishitani]

In fact, Xcelium, Questa and Riviera report no errors for this code.

[dalance]

Close by #1195