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
()¶
-