[Medium] Soft constraints not honored in some cases

[ShreyanJabade]

Hello, Soft constraints are not honored in some cases, in spite of not violating any hard constraints. In the example below, soft(self.a[0].value == 5) does not violate any hard constraint. But the value 5 is not honored. I request you to look into this aspect. Thank you

import vsc 
from vsc import *
@vsc.randobj
class Parent:
    def __init__(self):
        self.id = 0
        self.c1 = vsc.rand_list_t(vsc.attr(Child1()))
        for i in range(10):    
            self.c1.append(vsc.attr(Child1()))      

        self.c2 = vsc.rand_list_t(vsc.attr(Child2()))
        for i in range(10):
            self.c2.append(vsc.attr(Child2()))

    @vsc.constraint
    def parent_c(self):
        self.c1[0].a[1].value == self.c2[0].x[1].value       # Multi-level 

@vsc.randobj
class Field:
    def __init__(self, name, def_value):
        self.name = name
        self.value = vsc.rand_uint8_t(def_value)

    # @vsc.constraint
    # def soft_t(self):
    #     #soft(self.value == 5)

@vsc.randobj
class Child1:
    def __init__(self):
        self.a = vsc.rand_list_t(vsc.attr(Field('a', 10)))
        for i in range(5):    
            self.a.append(vsc.attr(Field('a', 10)))

        self.b = vsc.rand_list_t(vsc.attr(Field('b', 10)))
        for i in range(5):    
            self.b.append(vsc.attr(Field('b', 10)))

    @vsc.constraint
    def test_c(self):

        #self.a[0].value < 7                # Works
        soft(self.a[0].value == 5)          # Fails
        self.a[0].value < self.a[1].value   

@vsc.randobj
class Child2:
    def __init__(self):
        self.x = vsc.rand_list_t(vsc.attr(Field('x', 10)))
        for i in range(5):    
            self.x.append(vsc.attr(Field('x', 10)))

        self.y = vsc.rand_list_t(vsc.attr(Field('y', 10)))
        for i in range(5):    
            self.y.append(vsc.attr(Field('y', 10)))

    @vsc.constraint
    def test_c(self):
        self.x[0].value < self.x[1].value

inst=Parent()
inst.randomize()
print("inst.c1[0].a[0].value", inst.c1[0].a[0].value)
print("inst.c1[0].a[1].value", inst.c1[0].a[1].value)
print()

print("inst.c2[0].x[0].value", inst.c2[0].x[0].value)
print("inst.c2[0].x[1].value", inst.c2[0].x[1].value)

Output is:

inst.c1[0].a[0].value 239
inst.c1[0].a[1].value 240

inst.c2[0].x[0].value 135
inst.c2[0].x[1].value 240

[mballance]

This issue is resolved in the 0.4.4 release. Some soft constraints were being dropped during solve-set combination.