minor

nyu-acsys · Feb 7, 2025 · 1ae2040 · 1ae2040
1 parent 3cede0a
commit 1ae2040
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 11 deletions.
diff --git a/test/concurrent/templates/give-up-simplified.rav b/test/concurrent/templates/give-up-simplified.rav
@@ -22,7 +22,7 @@ interface SearchStructureSpec {
   type Op = data { case searchOp ; case insertOp ; case deleteOp }
 
 	func opSpec(op: Op, k: K, c_in: Set[K]) returns (c_out_res: (Set[K], Bool)) {
-    op == searchOp() ? 
+    op == searchOp() ?
       ((c_in, (k in c_in))) :
     (op == insertOp() ?
       ((c_in ++ {| k |}, (k !in c_in))) :

diff --git a/test/concurrent/templates/give-up.rav b/test/concurrent/templates/give-up.rav
@@ -74,16 +74,6 @@ interface NodeImpl {
     node(n, c, i_n)
   }
 
-  // func outsets(outset: Map[Ref, Set[K]]) returns (ret: Set[K])
-  // {
-  //   {| k: K :: exists r: Ref :: k in outset[r] |}
-  // }
-
-  // func keyset(inset: Set[K], outset: Map[Ref, Set[K]]) returns (ret: Set[K])
-  // {
-  //   inset -- outsets(outset)
-  // }
-
   func inset(i: Flow_K.T, n: Ref) returns (ret: Set[K])
   {
     {| k : K :: (i.inf[n])[k] > 0 |}