Skip to content

Commit

Permalink
Remove duplicate nested soft test
Browse files Browse the repository at this point in the history
  • Loading branch information
alwilson committed Feb 21, 2023
1 parent bc6d613 commit 7bea5d0
Showing 1 changed file with 0 additions and 25 deletions.
25 changes: 0 additions & 25 deletions ve/unit/test_constraint_soft.py
Original file line number Diff line number Diff line change
Expand Up @@ -276,31 +276,6 @@ def fixed_c(self):
print(rand_a.a_field)
pass

def test_soft_nested(self):
@vsc.randobj
class Nested:
def __init__(self):
self.a = vsc.rand_uint8_t(8)
self.b = vsc.rand_uint8_t(8)
self.c = vsc.rand_uint8_t(8)

@vsc.constraint
def default_c(self):
self.a > 10
self.b == 20
self.c == 30
with vsc.if_then(self.a > 5):
with vsc.if_then(self.a > 10):
vsc.soft(self.b != 20)
with vsc.implies(self.a > 10):
vsc.soft(self.c != 30)

nested = Nested()

nested.randomize()
self.assertEqual(nested.b, 20)
self.assertEqual(nested.c, 30)

def test_soft_nested(self):
"""Test various nested soft constraint scenarios"""

Expand Down

0 comments on commit 7bea5d0

Please sign in to comment.