We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 24665b9 commit b48128eCopy full SHA for b48128e
test/analysis/measure_id/test_measure_id.py
@@ -28,6 +28,25 @@ def results_of_variables(kernel, variable_names):
28
return results
29
30
31
+def test_subset_eq_MeasureIdBool():
32
+
33
+ m0 = MeasureIdBool(idx=1, predicate=Predicate.IS_ONE)
34
+ m1 = MeasureIdBool(idx=1, predicate=Predicate.IS_ONE)
35
36
+ assert m0.is_subseteq(m1)
37
38
+ # not equivalent if predicate is different
39
+ m2 = MeasureIdBool(idx=1, predicate=Predicate.IS_ZERO)
40
41
+ assert not m0.is_subseteq(m2)
42
43
+ # not equivalent if index is different either,
44
+ # they are only equivalent if both index and predicate match
45
+ m3 = MeasureIdBool(idx=2, predicate=Predicate.IS_ONE)
46
47
+ assert not m0.is_subseteq(m3)
48
49
50
def test_add():
51
@squin.kernel
52
def test():
0 commit comments