You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
The correctness test 'custom_datatypes.rs" shows a validation error but passes
It looks like the variable reference is not being resolved correctly
test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
Running tests/tests.rs (target/debug/deps/tests-f27738ba36930a8b)
running 1 test
error: Could not resolve reference to 'i
┌─ external_test.st:18:19
│
18 │ data.arr1[i] := i;
│ ^
error: Could not resolve reference to 'i
┌─ external_test.st:19:19
│
19 │ data.arr2[i] := i*10;
│ ^
test correctness::custom_datatypes::using_inline_arrays_in_structs ... ok