m

ajewellamz · ajewellamz · commit 8ec3cd546615 · 2025-07-23T14:13:39.000-04:00
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy
@@ -535,7 +535,7 @@ module SearchConfigToInfo {
       if num.None? then
         false
       else
-        inner.value < num.value
+        inner.value <= num.value
   }
 
   // convert configured StandardBeacons to internal Beacons

Original file line number	Diff line number	Diff line change
`@@ -535,7 +535,7 @@ module SearchConfigToInfo {`
`535`	`535`	`if num.None? then`
`536`	`536`	`false`
`537`	`537`	`else`
`538`		`- inner.value < num.value`
	`538`	`+ inner.value <= num.value`
`539`	`539`	`}`
`540`	`540`
`541`	`541`	`// convert configured StandardBeacons to internal Beacons`