From b4162a5ce2af6affc0ea425aa31cebbc5f5257e9 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Sun, 14 Apr 2013 20:57:48 -0700 Subject: [PATCH] scanalysis: remove whitespace --- scanalysis.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/scanalysis.cc b/scanalysis.cc index b1b6a05..2bc275d 100644 --- a/scanalysis.cc +++ b/scanalysis.cc @@ -93,7 +93,7 @@ ModelAction * SCAnalysis::getNextAction() { return act; } -action_list_t * SCAnalysis::generateSC(action_list_t *list) { +action_list_t * SCAnalysis::generateSC(action_list_t *list) { action_list_t *sclist=new action_list_t(); while (true) { ModelAction * act=getNextAction(); @@ -148,7 +148,7 @@ bool SCAnalysis::updateConstraints(ModelAction *act) { changed=true; break; } - } + } } return changed; } @@ -178,14 +178,14 @@ bool SCAnalysis::processRead(ModelAction *read, ClockVector *cv) { ClockVector *write2cv = cvmap->get(write2); if (write2cv == NULL) continue; - + /* write -sc-> write2 && write -rf-> R => R -sc-> write2 */ if (write2cv->synchronized_since(write)) { changed |= merge(write2cv, write2, cv); } - + //looking for earliest write2 in iteration to satisfy this /* write2 -sc-> R && write -rf-> R => -- 2.34.1