microprobe.passes.memory.GenericOldMemoryModelPass¶
-
class
GenericOldMemoryModelPass
(model, strict=True, loadsonly=False, storesonly=False)[source]¶ Bases:
microprobe.passes.Pass
GenericOldMemoryModelPass pass.
-
__init__
(model, strict=True, loadsonly=False, storesonly=False)[source]¶ Parameters: - model –
- strict – (Default value = True)
- loadsonly – (Default value = False)
- storesonly – (Default value = False)
Methods
__init__
(model[, strict, loadsonly, storesonly])param model: check
(dummy_building_block, dummy_target)param dummy_building_block: info
()Te report
()requires
()
-
check
(dummy_building_block, dummy_target)¶ Parameters: - dummy_building_block –
- dummy_target –
-
info
()¶ Te
-
report
()¶
-
requires
()¶
-