代码: 全选
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
}