m

ajewellamz · ajewellamz · commit 9b0df5cdf559 · 2025-08-11T21:19:00.000-04:00
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/src/FilterExpr.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/src/FilterExpr.dfy
@@ -1724,7 +1724,8 @@ module DynamoDBFilterExpr {
     } else if |values| == 2 {
       return Success(lcmBucket(values[0].0.getNumQueries(bv.numBuckets), values[1].0.getNumQueries(bv.numBuckets), bv.numBuckets));
     } else {
-      return Failure(E("More than two attributes not implemented yet"));
+      print "\nThat's Odd : \n", keyExpr, "\n\n";
+      return Success(1); // FIXME
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1724,7 +1724,8 @@ module DynamoDBFilterExpr {`
`1724`	`1724`	`} else if \|values\| == 2 {`
`1725`	`1725`	`return Success(lcmBucket(values[0].0.getNumQueries(bv.numBuckets), values[1].0.getNumQueries(bv.numBuckets), bv.numBuckets));`
`1726`	`1726`	`} else {`
`1727`		`- return Failure(E("More than two attributes not implemented yet"));`
	`1727`	`+ print "\nThat's Odd : \n", keyExpr, "\n\n";`
	`1728`	`+ return Success(1); // FIXME`
`1728`	`1729`	`}`
`1729`	`1730`	`}`
`1730`	`1731`