mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
13 lines
348 B
Python
13 lines
348 B
Python
|
from cvc5.pythonic import *
|
||
|
|
|
||
|
|
if __name__ == '__main__':
|
||
|
|
A = Set("A", SetSort(IntSort()))
|
||
|
|
B = Set("B", SetSort(IntSort()))
|
||
|
|
C = Set("C", SetSort(IntSort()))
|
||
|
|
|
||
|
|
assert A.get_id() != B.get_id()
|
||
|
|
assert C.get_id() != B.get_id()
|
||
|
|
assert A.get_id() == A.get_id()
|
||
|
|
assert B.get_id() == B.get_id()
|
||
|
|
assert C.get_id() == C.get_id()
|