Searched refs:extra_params (Results 1 – 4 of 4) sorted by relevance
| /tools/verification/rvgen/rvgen/ |
| A D | container.py | 14 def __init__(self, extra_params={}): argument
15 super().__init__(extra_params)
16 self.name = extra_params.get("model_name")
|
| A D | generator.py | 15 def __init__(self, extra_params={}): argument
16 self.name = extra_params.get("model_name")
17 self.parent = extra_params.get("parent")
22 self.description = extra_params.get("description", self.name) or "auto-generated"
23 self.auto_patch = extra_params.get("auto_patch")
248 def __init__(self, extra_params={}): argument
249 super().__init__(extra_params)
|
| A D | dot2k.py | 18 def __init__(self, file_path, MonitorType, extra_params={}): argument
20 Monitor.__init__(self, extra_params)
21 Dot2c.__init__(self, file_path, extra_params.get("model_name"))
|
| A D | ltl2k.py | 59 def __init__(self, file_path, MonitorType, extra_params={}): argument
62 super().__init__(extra_params)
66 self.name = extra_params.get("model_name")
|
Completed in 4 milliseconds