E-ACTCLD-23 formal test