migrate caching

epfl-lara · Aug 23, 2024 · 5d4a10d · 5d4a10d
1 parent cc9db96
commit 5d4a10d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/caching/CachedFunction.scala b/caching/CachedFunction.scala
@@ -73,10 +73,10 @@ final case class CachedFunction[I, O](
       assert(cache.valid)
       assert(CachedFunction.allValuesAreFunctionOutputs(f, cache), "cached value is still function output")
       result
-  }.ensuring { res =>
+  }.ensuring( res =>
     unfold(this.valid)
     res == f(x) && this.valid 
-  }
+  )
 }
 
 // object IntHashable extends Hashable[Int] {

diff --git a/caching/verify.sh b/caching/verify.sh
@@ -4,4 +4,5 @@ stainless-dotty\
  ../data-structures/maps/mutablemaps/src/main/scala/ch/epfl/chassot/ListLongMap.scala\
  ../data-structures/maps/mutablemaps/src/main/scala/ch/epfl/chassot/MutableHashMap.scala \
  ../data-structures/maps/mutablemaps/src/main/scala/ch/epfl/chassot/MutableLongMap.scala\
+ ../data-structures/maps/mutablemaps/src/main/scala/ch/epfl/chassot/iMutableMaps.scala\
  --config-file=stainless.conf --functions=CachedFunction._