Loading docker/build-container.sh +1 −1 Original line number Diff line number Diff line Loading @@ -8,7 +8,7 @@ set -vx DOCKER_FILE=./Dockerfile if [ -f ${DOCKER_FILE} ] then docker build --tag stf525_its --force-rm . docker build --no-cache --tag stf525_its --force-rm . if [ "$?" != "0" ] then echo "Docker build failed: $?" Loading ttcn/AtsPki/ItsPki_TestControl.ttcn +14 −11 Original line number Diff line number Diff line Loading @@ -45,6 +45,9 @@ module ItsPki_TestControl { execute(TC_SECPKI_EA_ENR_RCV_08_BI()); execute(TC_SECPKI_EA_ENR_RCV_09_BI()); execute(TC_SECPKI_EA_ENR_RCV_10_BI()); execute(TC_SECPKI_EA_ENR_RCV_11_BI()); execute(TC_SECPKI_EA_ENR_RCV_12_BI()); execute(TC_SECPKI_EA_ENR_RCV_13_BI()); execute(TC_SECPKI_EA_ENR_01_BV()); execute(TC_SECPKI_EA_ENR_02_BV()); Loading @@ -68,17 +71,17 @@ module ItsPki_TestControl { if (PICS_PKI_AUTH_POP) { execute(TC_SECPKI_AA_AUTH_RCV_02_BV()); } execute(TC_SECPKI_AA_AUTH_RCV_03_BV()); execute(TC_SECPKI_AA_AUTH_RCV_04_BV()); execute(TC_SECPKI_AA_AUTH_RCV_05_BV()); execute(TC_SECPKI_AA_AUTH_RCV_06_BV()); execute(TC_SECPKI_AA_AUTH_RCV_07_BV()); execute(TC_SECPKI_AA_AUTH_RCV_08_BV()); execute(TC_SECPKI_AA_AUTH_RCV_09_BV()); execute(TC_SECPKI_AA_AUTH_RCV_10_BV()); execute(TC_SECPKI_AA_AUTH_RCV_11_BV()); execute(TC_SECPKI_AA_AUTH_RCV_12_BV()); execute(TC_SECPKI_AA_AUTH_RCV_13_BV()); execute(TC_SECPKI_AA_AUTH_RCV_03_BI()); execute(TC_SECPKI_AA_AUTH_RCV_04_BI()); execute(TC_SECPKI_AA_AUTH_RCV_05_BI()); execute(TC_SECPKI_AA_AUTH_RCV_06_BI()); execute(TC_SECPKI_AA_AUTH_RCV_07_BI()); execute(TC_SECPKI_AA_AUTH_RCV_08_BI()); execute(TC_SECPKI_AA_AUTH_RCV_09_BI()); execute(TC_SECPKI_AA_AUTH_RCV_10_BI()); execute(TC_SECPKI_AA_AUTH_RCV_11_BI()); execute(TC_SECPKI_AA_AUTH_RCV_12_BI()); execute(TC_SECPKI_AA_AUTH_RCV_13_BI()); execute(TC_SECPKI_AA_AUTHVAL_01_BV()); } Loading Loading
docker/build-container.sh +1 −1 Original line number Diff line number Diff line Loading @@ -8,7 +8,7 @@ set -vx DOCKER_FILE=./Dockerfile if [ -f ${DOCKER_FILE} ] then docker build --tag stf525_its --force-rm . docker build --no-cache --tag stf525_its --force-rm . if [ "$?" != "0" ] then echo "Docker build failed: $?" Loading
ttcn/AtsPki/ItsPki_TestControl.ttcn +14 −11 Original line number Diff line number Diff line Loading @@ -45,6 +45,9 @@ module ItsPki_TestControl { execute(TC_SECPKI_EA_ENR_RCV_08_BI()); execute(TC_SECPKI_EA_ENR_RCV_09_BI()); execute(TC_SECPKI_EA_ENR_RCV_10_BI()); execute(TC_SECPKI_EA_ENR_RCV_11_BI()); execute(TC_SECPKI_EA_ENR_RCV_12_BI()); execute(TC_SECPKI_EA_ENR_RCV_13_BI()); execute(TC_SECPKI_EA_ENR_01_BV()); execute(TC_SECPKI_EA_ENR_02_BV()); Loading @@ -68,17 +71,17 @@ module ItsPki_TestControl { if (PICS_PKI_AUTH_POP) { execute(TC_SECPKI_AA_AUTH_RCV_02_BV()); } execute(TC_SECPKI_AA_AUTH_RCV_03_BV()); execute(TC_SECPKI_AA_AUTH_RCV_04_BV()); execute(TC_SECPKI_AA_AUTH_RCV_05_BV()); execute(TC_SECPKI_AA_AUTH_RCV_06_BV()); execute(TC_SECPKI_AA_AUTH_RCV_07_BV()); execute(TC_SECPKI_AA_AUTH_RCV_08_BV()); execute(TC_SECPKI_AA_AUTH_RCV_09_BV()); execute(TC_SECPKI_AA_AUTH_RCV_10_BV()); execute(TC_SECPKI_AA_AUTH_RCV_11_BV()); execute(TC_SECPKI_AA_AUTH_RCV_12_BV()); execute(TC_SECPKI_AA_AUTH_RCV_13_BV()); execute(TC_SECPKI_AA_AUTH_RCV_03_BI()); execute(TC_SECPKI_AA_AUTH_RCV_04_BI()); execute(TC_SECPKI_AA_AUTH_RCV_05_BI()); execute(TC_SECPKI_AA_AUTH_RCV_06_BI()); execute(TC_SECPKI_AA_AUTH_RCV_07_BI()); execute(TC_SECPKI_AA_AUTH_RCV_08_BI()); execute(TC_SECPKI_AA_AUTH_RCV_09_BI()); execute(TC_SECPKI_AA_AUTH_RCV_10_BI()); execute(TC_SECPKI_AA_AUTH_RCV_11_BI()); execute(TC_SECPKI_AA_AUTH_RCV_12_BI()); execute(TC_SECPKI_AA_AUTH_RCV_13_BI()); execute(TC_SECPKI_AA_AUTHVAL_01_BV()); } Loading