Add initial rand seed to call hash string

Sometimes the rand stability test would fail due to a call hash
repeating triggering the cache_enabled path. This is probably due
to the randstate obj ID being reused, so this adds the initial seed
to that as well. Not sure if this is the proper fix yet.

Author: alwilson

src/vsc/model/rand_state.py

@@ -9,11 +9,13 @@ class RandState(object):
 
     def __init__(self, seed):
         self.rng = random.Random()
-        self.rng.seed(f"{seed}")
+        self.init_seed = f"{seed}"
+        self.rng.seed(self.init_seed)
 
     def clone(self) -> 'RandState':
         randState = RandState("")
         randState.rng.setstate(self.rng.getstate())
+        randState.init_seed = self.init_seed
         return randState 
 
     def rand_u(self):

src/vsc/model/randomizer.py

@@ -43,6 +43,7 @@
 from vsc.model.rand_if import RandIF
 from vsc.model.rand_info import RandInfo
 from vsc.model.rand_info_builder import RandInfoBuilder
+from vsc.model.rand_state import RandState
 from vsc.model.variable_bound_model import VariableBoundModel
 from vsc.visitors.array_constraint_builder import ArrayConstraintBuilder
 from vsc.visitors.constraint_override_rollback_visitor import ConstraintOverrideRollbackVisitor
@@ -553,7 +554,7 @@ def _collect_failing_constraints(self,
 
     @staticmethod
     def do_randomize(
-            randstate,
+            randstate: RandState,
             srcinfo : SourceInfo,
             field_model_l : List[FieldModel],
             constraint_l : List[ConstraintModel] = None,
@@ -705,9 +706,10 @@ def do_randomize(
 
 
     @staticmethod
-    def get_pretty_call_hash(randstate, field_model_l, constraint_l):
+    def get_pretty_call_hash(randstate: RandState, field_model_l, constraint_l):
         call_hash = ''
         call_hash += f'{hex(id(randstate))}\n'
+        call_hash += f'{randstate.init_seed=}\n'
         if field_model_l is not None:
             for fm in field_model_l:
                 # TODO This pretty print is an expensive call. Need a better way

ve/unit/test_constraint_dist.py

@@ -690,7 +690,7 @@ def show_it(obj, rs):
             print()
 
         def run_obj(obj):
-            cnt = 6
+            cnt = 100
 
             print(f'Using {type(obj).__name__}')
             print('------------------')
@@ -703,4 +703,4 @@ def run_obj(obj):
         obj = With_Dist()
         run_obj(obj)        
 
-        
+