From 364410c990a21aa3feb4ad419a1e8f74ef52a9df Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Thu, 14 Aug 2014 13:45:19 +0200
Subject: [PATCH] Hide passes from results, but include it in leon as it is
purescala
---
library/lang/package.scala | 1 +
1 file changed, 1 insertion(+)
diff --git a/library/lang/package.scala b/library/lang/package.scala
index a3600b868..7e40b880e 100644
--- a/library/lang/package.scala
+++ b/library/lang/package.scala
@@ -28,6 +28,7 @@ package object lang {
@ignore
def error[T](reason: String): T = sys.error(reason)
+ @library
def passes[A, B](in: A, out: B)(tests: Map[A,B]): Boolean = {
if (tests contains in) {
tests(in) == out
--
GitLab