Python rand_attrの例

コード例 #1

            def __init__(self):
                super().__init__()
                self.c1 = rand_attr(C1())
                self.c2 = attr(C1())

                @vsc.constraint
                def c1_c2_c(self):
                    self.c1.a == self.c2.a

コード例 #2

 def __init__(self):
     super().__init__()
     self.c1 = rand_attr(C1())
     self.c2 = rand_attr(C1())