digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-11-13 10:08:03 +03:00
Code Issues Projects Releases Wiki Activity

Add test evidence annotation to unit test of the json api (#13219)

Browse Source 
changelog_begin
changelog_end
This commit is contained in:
Victor Peter Rouven Müller 2022-03-21 15:57:59 +01:00 committed by GitHub
parent bfd69b0bee
commit 31366b939c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ledger-service/http-json/src/test/scala/com/digitalasset/http/CliSpec.scala
View File

@ -270,6 +270,7 @@ final class CliSpec extends AnyFreeSpec with Matchers {
) should ===(None)
}
// TEST_EVIDENCE: Input Validation: TLS configuration is parsed correctly from the config file
"should successfully load a complete config file" in {
val baseConfig = DbUtilsJdbcConfig(
url = "jdbc:postgresql://localhost:5432/test?&ssl=true",

1
security-evidence.md
View File

@ -116,6 +116,7 @@
- Tail call optimization: Tail recursion does not blow the scala JVM stack.: [TailCallTest.scala](daml-lf/interpreter/src/test/scala/com/digitalasset/daml/lf/speedy/TailCallTest.scala#L16)
## Input Validation:
- TLS configuration is parsed correctly from the config file: [CliSpec.scala](ledger-service/http-json/src/test/scala/com/digitalasset/http/CliSpec.scala#L273)
- ensure builtin operators have the correct type: [TypingSpec.scala](daml-lf/validation/src/test/scala/com/digitalasset/daml/lf/validation/TypingSpec.scala#L47)
- ensure expression forms have the correct type: [TypingSpec.scala](daml-lf/validation/src/test/scala/com/digitalasset/daml/lf/validation/TypingSpec.scala#L107)
- ill-formed create command is rejected: [CommandPreprocessorSpec.scala](daml-lf/engine/src/test/scala/com/digitalasset/daml/lf/engine/CommandPreprocessorSpec.scala#L116)