Quantum/Crypto: Adding Random.qll for OpenSSL into the general imports for the OpenSSL.qll model.

This commit is contained in:
REDMOND\brodes
2025-05-19 10:56:17 -04:00
parent 74271e4a17
commit 309ad461a5

View File

@@ -6,4 +6,5 @@ module OpenSSLModel {
import experimental.quantum.OpenSSL.AlgorithmInstances.OpenSSLAlgorithmInstances
import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgorithmValueConsumers
import experimental.quantum.OpenSSL.Operations.OpenSSLOperations
import experimental.quantum.OpenSSL.Random
}