Skip to content

Commit 1a05326

Browse files
committed
fix evaluation of LHD rules
Luckily, the fix doesn't change any of the results.
1 parent 6d8dce2 commit 1a05326

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

src/main/scala/scripts/RedundantAdjacenciesChecker.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ object RedundantAdjacenciesChecker {
5454
val rulesLhd = collection.mutable.Map.empty[EquivRule, Rule[IdTile]]
5555
val rulesShared = collection.mutable.Map.empty[EquivRule, Rule[IdTile]]
5656
val lookupRuleRhd: PartialFunction[EquivRule, Rule[IdTile]] = rulesShared.orElse(rulesRhd) // the two maps should be disjoint
57-
val lookupRuleLhd: PartialFunction[EquivRule, Rule[IdTile]] = rulesShared.orElse(rulesRhd) // the two maps should be disjoint
57+
val lookupRuleLhd: PartialFunction[EquivRule, Rule[IdTile]] = rulesShared.orElse(rulesLhd) // the two maps should be disjoint
5858

5959
LOGGER.info("caching all RUL2 code for RHD and LHD")
6060
Files.walk(Paths.get("Controller/RUL2")).forEach { path =>
@@ -93,7 +93,7 @@ object RedundantAdjacenciesChecker {
9393
case Some((rule, RhdAndLhd)) =>
9494
val b = isRedundantAdjacency(rule, lookupRuleRhd)
9595
if (b != isRedundantAdjacency(rule, lookupRuleLhd)) {
96-
throw new AssertionError("Redundancies should be the same for RHD and LHD.") // hopefully this will always be the case
96+
throw new AssertionError(s"Redundancies should be the same for RHD and LHD: $rule") // hopefully this will always be the case
9797
}
9898
b
9999
case None => false // comments are not redundant

0 commit comments

Comments
 (0)