microprobe.passes.memory.GenericOldMemoryModelPass

class GenericOldMemoryModelPass(model, strict=True, loadsonly=False, storesonly=False)[source]

Bases: 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])

check(dummy_building_block, dummy_target)

info()

Te

report()

requires()



check(dummy_building_block, dummy_target)
Parameters:

  • dummy_building_block

  • dummy_target

info()

Te

report()
requires()