微软搞的达芙妮，很弱呀
发表于 ： 2022年 11月 30日 20:13
连这么简单的代码都没法确认，而且行为诡异
加上一行assert还是fail
但是如果加上另一行，这个assert 4 in S就pass了，同时加这一行还会fail
简直就是一个巨大的dafuq
代码： 全选
method Test(){
var S := set s: int | 0 <= s < 4 :: s * 2; // S == {
assert 4 in S; // fail
}代码： 全选
method Test(){
var S := set s: int | 0 <= s < 4 :: s * 2;
assert S <= {0,2,4,6}; // pass
assert 4 in S; // fail
}代码： 全选
method Test(){
var S := set s: int | 0 <= s < 4 :: s * 2;
assert S <= {0,2,4,6}; // pass
assert S == {0,2,4,6}; // faill
assert 4 in S; // WILL PASS
}