search

CROSSINGTUD / CogniCrypt_TESTGEN

A Test Generator for Java Crypto APIs
1 stars 3 forks source link

Required parameters are not generated #10

Open rakshitkr opened 3 years ago

rakshitkr commented 3 years ago 
TrustManager[] tms = null; // must ensure generatedTrustManager
KeyManager[] kms = null; // must ensure generatedKeyManager

SSLContext sSLContext0 = SSLContext.getInstance("TLSv1.2");
sSLContext0.init(kms, tms, (SecureRandom) null);
Assertions.hasEnsuredPredicate(sSLContext0);
Assertions.mustBeInAcceptingState(sSLContext0);

Following test cases are failing for above reason