Commit 46566577 authored by Yann Garcia's avatar Yann Garcia
Browse files

Bug fixed in TestCodec_Pki

parent 0c3f0de4
Loading
Loading
Loading
Loading
+1 −28
Original line number Original line Diff line number Diff line
@@ -725,8 +725,6 @@ module TestCodec_Pki {
  
  
  testcase tc_inner_ec_functions_4() runs on TCType system TCType {
  testcase tc_inner_ec_functions_4() runs on TCType system TCType {
    var Oct32 v_private_key;
    var Oct32 v_private_key;
    var Oct32 v_publicKeyX;
    var Oct32 v_publicKeyY;
    var Oct32 v_publicKeyCompressed;
    var Oct32 v_publicKeyCompressed;
    var Oct32 v_private_enc_key;
    var Oct32 v_private_enc_key;
    var Oct32 v_publicEncKeyCompressed;
    var Oct32 v_publicEncKeyCompressed;
@@ -747,10 +745,6 @@ module TestCodec_Pki {
    var Oct8 v_hashed_id8_cert_iut_a_ea;
    var Oct8 v_hashed_id8_cert_iut_a_ea;
    var Oct32 v_whole_hash_cert_ts_a_ea;
    var Oct32 v_whole_hash_cert_ts_a_ea;
    var Oct32 v_whole_hash_cert_iut_a_ea;
    var Oct32 v_whole_hash_cert_iut_a_ea;
    var InnerEcRequest v_inner_ec_request;
    var Certificate v_ec_certificate;
    var InnerAtRequest v_inner_at_request;
    var Ieee1609Dot2Data v_inner_at_request_data;
    var AuthorizationValidationRequest v_authorization_validation_request;
    var AuthorizationValidationRequest v_authorization_validation_request;
    var boolean v_ret := false;
    var boolean v_ret := false;
    
    
@@ -771,28 +765,7 @@ module TestCodec_Pki {
    f_getCertificateHash("CERT_TS_A_EA", v_whole_hash_cert_ts_a_ea);
    f_getCertificateHash("CERT_TS_A_EA", v_whole_hash_cert_ts_a_ea);
    f_getCertificateHash("CERT_IUT_A_EA", v_whole_hash_cert_iut_a_ea);
    f_getCertificateHash("CERT_IUT_A_EA", v_whole_hash_cert_iut_a_ea);
    
    
    v_ret := f_generate_inner_ec_request(v_private_key, v_publicKeyCompressed, v_compressedMode, v_inner_ec_request);
    v_ret := f_generate_authorization_validation_request(v_cert_ts_a_ea, v_hashed_id8_cert_ts_a_ea, v_private_key, v_publicKeyCompressed, v_compressedMode, v_authorization_validation_request);
    if (v_ret == true) {
      setverdict(pass);
    } else {
      setverdict(fail, "f_generate_inner_ec_request");
      stop;
    }
    v_ret := f_generate_ec_certificate(v_private_key, v_inner_ec_request, v_ec_certificate);
    if (v_ret == true) {
      setverdict(pass);
    } else {
      setverdict(fail, "f_generate_ec_certificate");
      stop;
    }
    v_ret := f_generate_inner_at_request(v_ec_certificate, v_private_key, v_cert_iut_a_ea, v_hashed_id8_cert_iut_a_ea, true, v_private_enc_key, v_publicEncKeyCompressed, v_compressedMode, v_inner_at_request, v_inner_at_request_data);
    if (v_ret == true) {
      setverdict(pass);
    } else {
      setverdict(fail, "f_generate_inner_at_request");
      stop;
    }
    v_ret := f_generate_authorization_validation_request(v_inner_at_request, v_ec_certificate, v_authorization_validation_request);
    if (v_ret == true) {
    if (v_ret == true) {
      setverdict(pass);
      setverdict(pass);
    } else {
    } else {