Add NoViolation

NetSys · Jan 1, 2016 · e0b513e · e0b513e
1 parent 87f8e81
commit e0b513e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main/scala/verification/minification/TestOracle.scala b/src/main/scala/verification/minification/TestOracle.scala
@@ -12,6 +12,11 @@ trait ViolationFingerprint {
  def affectedNodes(): Seq[String]
 }
 
+case object NoViolation extends ViolationFingerprint {
+ def affectedNodes(): Seq[String] = Seq.empty
+ def matches(other: ViolationFingerprint): Boolean = false
+}
+
 object TestOracle {
  // An predicate that returns None if the safety condition is not violated,
  // i.e. the execution is correct. Otherwise, returns a