public InstructionStopper(String name,
String propInst,
- String controlChain, String dataChain,
- String reportChain,
ChainControls cc, ChipModel model,
boolean clockHack,
Indenter indenter, String counterPath) {
- super(name, propInst, controlChain, dataChain, reportChain, cc, model, clockHack, indenter, counterPath);
+ super(name, propInst, cc, model, clockHack, indenter, counterPath);
}
/** put one Instruction into InstructionStopper */