mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 01:07:18 +03:00
a2a15716b4
* Generate security evidence by documenting security testcases. CHANGELOG_BEGIN CHANGELOG_END * move generated file to root of repo, so links work * formatError function instead of Show instance * dont use Show instances for generating Markdown * magic comment: SECURITY_TEST --> TEST_EVIDENCE * use megaparsec and Data.Text * remove redundant T.pack * use: Text.Megaparsec.Char.space
1.1 KiB
1.1 KiB
Security tests, by category
Authorization:
- Engine level tests for authorization check.: AuthPropagationSpec.scala
- Exercise within exercise: No implicit authorization from outer exercise.: AuthPropagationSpec.scala
- Unit test authorization computations in:
CheckAuthorization
.: AuthorizationSpec.scala
Privacy:
- Unit test blinding computation:
Blinding.blind
.: BlindingSpec.scala
Semantics:
- Exceptions, throw/catch.: ExceptionTest.scala
Performance:
- Tail call optimization: Tail recursion does not blow the scala JVM stack.: TailCallTest.scala