ItsPki_Pixits.ttcn

module ItsPki_Pixits {

  modulepar integer PX_RE_ENROLMENT_COUNTER := 2;

  modulepar float PX_RE_ENROLMENT_DELAY := 2.0;
  
  modulepar boolean PX_TRIGGER_EC_BEFORE_AT := true;
  
} // End of module ItsPki_Pixits