From b5853f5f780f360293e38b00e3fbf36de4a213fc Mon Sep 17 00:00:00 2001 From: hneemann Date: Sun, 17 Apr 2016 09:57:10 +0200 Subject: [PATCH] minor changes to hazards --- src/main/dig/hazard/Hazard.dig | 4 ++++ src/main/dig/hazard/HazardA.dig | 6 +++++- src/main/dig/hazard/HazardB.dig | 13 +++++++++++-- 3 files changed, 20 insertions(+), 3 deletions(-) diff --git a/src/main/dig/hazard/Hazard.dig b/src/main/dig/hazard/Hazard.dig index 74066704d..55aa107c5 100644 --- a/src/main/dig/hazard/Hazard.dig +++ b/src/main/dig/hazard/Hazard.dig @@ -50,6 +50,10 @@ microStep true + + maxStepCount + 16 + 0 diff --git a/src/main/dig/hazard/HazardA.dig b/src/main/dig/hazard/HazardA.dig index 72b5d6079..1b25b76f5 100644 --- a/src/main/dig/hazard/HazardA.dig +++ b/src/main/dig/hazard/HazardA.dig @@ -86,8 +86,12 @@ microStep true + + maxStepCount + 19 + - + 0 diff --git a/src/main/dig/hazard/HazardB.dig b/src/main/dig/hazard/HazardB.dig index c2e1e3d56..a54d97c14 100644 --- a/src/main/dig/hazard/HazardB.dig +++ b/src/main/dig/hazard/HazardB.dig @@ -92,8 +92,17 @@ Data - - + + + microStep + true + + + maxStepCount + 20 + + + 0