We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a77d76e commit 2aae483Copy full SHA for 2aae483
TestVectors/dafny/DDBEncryption/src/JsonConfig.dfy
@@ -32,8 +32,8 @@ module {:options "-functionSyntax:4"} JsonConfig {
32
import CreateInterceptedDDBClient
33
import DynamoDbItemEncryptor
34
35
-
36
- const DEFAULT_KEYS : string := "../../../submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/keys.json"
+ // TODO: Add extern for DEFAULT_KEYS
+ const DEFAULT_KEYS : string := "../../../../submodules/MaterialProviders/TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/keys.json"
37
38
predicate IsValidInt32(x: int) { -0x8000_0000 <= x < 0x8000_0000}
39
type ConfigName = string
0 commit comments