ItsPki_Pixits.ttcn

module ItsPki_Pixits {

  modulepar integer PX_RE_ENROLMENT_COUNTER := 2;

  modulepar integer PX_RE_AUTHORIZATION_COUNTER := 2;

  modulepar float PX_RE_ENROLMENT_DELAY := 2.0;
  
  modulepar float PX_RE_AUTHORIZATION_DELAY := 2.0;

  modulepar integer PX_ENR_MAX_N1 := 3;
  
  modulepar boolean PX_TRIGGER_EC_BEFORE_AT := true;
  
} // End of module ItsPki_Pixits