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