From 7bea5d06af173f50ecb2a4e904ff196367044e00 Mon Sep 17 00:00:00 2001 From: Alex Wilson Date: Mon, 20 Feb 2023 17:21:03 -0700 Subject: [PATCH] Remove duplicate nested soft test --- ve/unit/test_constraint_soft.py | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/ve/unit/test_constraint_soft.py b/ve/unit/test_constraint_soft.py index 9fa8b46..c2d875f 100644 --- a/ve/unit/test_constraint_soft.py +++ b/ve/unit/test_constraint_soft.py @@ -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"""