Implementation of RA-learning without parameters.

.github/workflows/ci.yml

@@ -25,7 +25,7 @@ jobs:
 
       - name: Test Contiki-NG TinyDTLS Server (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/ctinydtls/learn_ctinydtls_server_psk -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/ctinydtls/learn_ctinydtls_server_psk -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/ctinydtls_server_psk output/ctinydtls_server_psk 5
 
   CTinyDTLS_Client_psk:
@@ -51,7 +51,7 @@ jobs:
 
       - name: Test Contiki-NG TinyDTLS Client (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/ctinydtls/learn_ctinydtls_client_psk -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/ctinydtls/learn_ctinydtls_client_psk -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/ctinydtls_client_psk output/ctinydtls_client_psk 5
 
   ETinyDTLS_Server_psk:
@@ -77,7 +77,7 @@ jobs:
 
       - name: Test Eclipse TinyDTLS Server (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/etinydtls/learn_etinydtls_server_psk -inputResponseTimeout CHANGE_CIPHER_SPEC:250 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/etinydtls/learn_etinydtls_server_psk -inputResponseTimeout CHANGE_CIPHER_SPEC:250 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/etinydtls_server_psk output/etinydtls_server_psk 5
 
   ETinyDTLS_Client_psk:
@@ -103,7 +103,7 @@ jobs:
 
       - name: Test Eclipse TinyDTLS Client (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/etinydtls/learn_etinydtls_client_psk -inputResponseTimeout CHANGE_CIPHER_SPEC:250 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/etinydtls/learn_etinydtls_client_psk -inputResponseTimeout CHANGE_CIPHER_SPEC:250 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/etinydtls_client_psk output/etinydtls_client_psk 5
 
   JSSE-12-0-2_Server_ecdhe_cert_req:
@@ -129,7 +129,7 @@ jobs:
 
       - name: Test jsse-12.0.2 Server (ecdhe_cert_req)
         run: |
-          java -jar target/dtls-fuzzer.jar args/jsse/learn_jsse_server_ecdhe_cert_req -Djsse.version=12.0.2 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/jsse/learn_jsse_server_ecdhe_cert_req -Djsse.version=12.0.2 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/jsse-12.0.2_server_ecdhe_cert_req output/jsse-12.0.2_server_ecdhe_cert_req 5
 
   JSSE-12-0-2_Client_ecdhe_cert:
@@ -155,7 +155,7 @@ jobs:
 
       - name: Test jsse-12.0.2 Client (ecdhe_cert)
         run: |
-          java -jar target/dtls-fuzzer.jar args/jsse/learn_jsse_client_ecdhe_cert -Djsse.version=12.0.2 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/jsse/learn_jsse_client_ecdhe_cert -Djsse.version=12.0.2 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/jsse-12.0.2_client_ecdhe_cert output/jsse-12.0.2_client_ecdhe_cert 5
 
   Mbedtls-2-26-0_Server_all_cert_req:
@@ -181,7 +181,7 @@ jobs:
 
       - name: Test mbedtls-2.26.0 Server (all_cert_req)
         run: |
-          java -jar target/dtls-fuzzer.jar args/mbedtls/learn_mbedtls_server_all_cert_req -Dmbedtls.version=2.26.0 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/mbedtls/learn_mbedtls_server_all_cert_req -Dmbedtls.version=2.26.0 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/mbedtls-2.26.0_server_all_cert_req output/mbedtls-2.26.0_server_all_cert_req 5
 
   Mbedtls-2-26-0_Client_dhe_ecdhe_rsa_eneg:
@@ -207,7 +207,7 @@ jobs:
 
       - name: Test mbedtls-2.26.0 Client (dhe_ecdhe_rsa_cert_reneg)
         run: |
-          java -jar target/dtls-fuzzer.jar args/mbedtls/learn_mbedtls_client_dhe_ecdhe_rsa_cert_reneg -Dmbedtls.version=2.26.0 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/mbedtls/learn_mbedtls_client_dhe_ecdhe_rsa_cert_reneg -Dmbedtls.version=2.26.0 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/mbedtls-2.26.0_client_dhe_ecdhe_rsa_cert_reneg output/mbedtls-2.26.0_client_dhe_ecdhe_rsa_cert_reneg 5
 
   OpenSSL-1-1-1k_Server_all_cert_req:
@@ -233,7 +233,7 @@ jobs:
 
       - name: Test openssl-1.1.1k Server (all_cert_req)
         run: |
-          java -jar target/dtls-fuzzer.jar args/openssl/learn_openssl_server_all_cert_req -Dopenssl.version=1.1.1k -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/openssl/learn_openssl_server_all_cert_req -Dopenssl.version=1.1.1k -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/openssl-1.1.1k_server_all_cert_req output/openssl-1.1.1k_server_all_cert_req 5
 
   OpenSSL-1-1-1k_Client_dhe_ecdhe_rsa_eneg:
@@ -259,7 +259,7 @@ jobs:
 
       - name: Test openssl-1.1.1k Client (dhe_ecdhe_rsa_reneg)
         run: |
-          java -jar target/dtls-fuzzer.jar args/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert_reneg -Dopenssl.version=1.1.1k -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/openssl/learn_openssl_client_dhe_ecdhe_rsa_cert_reneg -Dopenssl.version=1.1.1k -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/openssl-1.1.1k_client_dhe_ecdhe_rsa_cert_reneg output/openssl-1.1.1k_client_dhe_ecdhe_rsa_cert_reneg 5
 
   PionDTLS-2-0-9_Server_psk:
@@ -290,7 +290,7 @@ jobs:
 
       - name: Test piondtls-2.0.9 Server (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/piondtls/learn_piondtls_server_psk -Dpiondtls.version=2.0.9 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/piondtls/learn_piondtls_server_psk -Dpiondtls.version=2.0.9 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/piondtls-2.0.9_server_psk output/piondtls-2.0.9_server_psk 5
 
   PionDTLS-2-0-9_Client_psk:
@@ -321,7 +321,7 @@ jobs:
 
       - name: Test piondtls-2.0.9 Client (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/piondtls/learn_piondtls_client_psk -Dpiondtls.version=2.0.9 -roundLimit 7 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/piondtls/learn_piondtls_client_psk -Dpiondtls.version=2.0.9 -roundLimit 7 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/piondtls-2.0.9_client_psk output/piondtls-2.0.9_client_psk 7
 
   Scandium-2-0-0-M16_Server_ecdhe_cert_req:
@@ -347,7 +347,7 @@ jobs:
 
       - name: Test scandium-2.0.0-M16 Server (ecdhe_cert_req)
         run: |
-          java -jar target/dtls-fuzzer.jar args/scandium/learn_scandium_server_ecdhe_cert_req -Dscandium.version=2.0.0-M16 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/scandium/learn_scandium_server_ecdhe_cert_req -Dscandium.version=2.0.0-M16 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/scandium-2.0.0-M16_server_ecdhe_cert_req output/scandium-2.0.0-M16_server_ecdhe_cert_req 5
 
   Scandium-2-0-0-M16_Client_ecdhe_cert:
@@ -374,7 +374,7 @@ jobs:
       - name: Test scandium-2.0.0-M16 Client (ecdhe_cert)
         run: |
           # we are running just two rounds here because producing the third hypothesis takes too long
-          java -jar target/dtls-fuzzer.jar args/scandium/learn_scandium_client_ecdhe_cert -Dscandium.version=2.0.0-M16 -roundLimit 2 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/scandium/learn_scandium_client_ecdhe_cert -Dscandium.version=2.0.0-M16 -roundLimit 2 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/scandium-2.0.0-M16_client_ecdhe_cert output/scandium-2.0.0-M16_client_ecdhe_cert 2
 
   WolfSSL-4-7-1r_DTLS-1-2_Server_psk:
@@ -400,7 +400,7 @@ jobs:
 
       - name: Test wolfssl-4.7.1r DTLS 1.2 Server (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_server_psk -Dwolfssl.version=4.7.1r -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_server_psk -Dwolfssl.version=4.7.1r -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/wolfssl-4.7.1r_server_psk output/wolfssl-4.7.1r_server_psk 5
 
   WolfSSL-4-7-1r_DTLS-1-2_Client_psk:
@@ -426,7 +426,7 @@ jobs:
 
       - name: Test wolfssl-4.7.1r DTLS 1.2 Client (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_client_psk -Dwolfssl.version=4.7.1r -roundLimit 6 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_client_psk -Dwolfssl.version=4.7.1r -roundLimit 6 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/wolfssl-4.7.1r_client_psk output/wolfssl-4.7.1r_client_psk 6
 
   WolfSSL-5-7-6_DTLS-1-2_Server_psk:
@@ -452,7 +452,7 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.2 Server (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_server_psk -Dwolfssl.version=5.7.6 -roundLimit 4 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_server_psk -Dwolfssl.version=5.7.6 -roundLimit 4 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/wolfssl-5.7.6_server_psk output/wolfssl-5.7.6_server_psk 4
 
   WolfSSL-5-7-6_DTLS-1-2_Client_psk:
@@ -478,7 +478,7 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.2 Client (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_client_psk -Dwolfssl.version=5.7.6 -roundLimit 6 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_client_psk -Dwolfssl.version=5.7.6 -roundLimit 6 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/wolfssl-5.7.6_client_psk output/wolfssl-5.7.6_client_psk 6
 
   WolfSSL-5-7-6_DTLS-1-3_Server_psk:
@@ -504,7 +504,7 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.3 Server (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_server_psk_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 3 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_server_psk_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 3 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/wolfssl-5.7.6_server_psk_DTLS13 output/wolfssl-5.7.6_server_psk_DTLS13 3
 
   WolfSSL-5-7-6_DTLS-1-3_Server_dhe_cert_nreq:
@@ -530,7 +530,7 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.3 Server (dhe_cert_nreq)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_server_dhe_cert_nreq_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 3 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_server_dhe_cert_nreq_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 3 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/wolfssl-5.7.6_server_dhe_cert_nreq_DTLS13 output/wolfssl-5.7.6_server_dhe_cert_nreq_DTLS13 3
 
   WolfSSL-5-7-6_DTLS-1-3_Server_dhe_cert_req:
@@ -556,7 +556,7 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.3 Server (dhe_cert_req)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_server_dhe_cert_req_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 4 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_server_dhe_cert_req_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 4 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/servers/rounds/wolfssl-5.7.6_server_dhe_cert_req_DTLS13 output/wolfssl-5.7.6_server_dhe_cert_req_DTLS13 4
 
   WolfSSL-5-7-6_DTLS-1-3_Client_psk:
@@ -582,7 +582,7 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.3 Client (psk)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_client_psk_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 5 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_client_psk_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 5 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/wolfssl-5.7.6_client_psk_DTLS13 output/wolfssl-5.7.6_client_psk_DTLS13 5
 
   WolfSSL-5-7-6_DTLS-1-3_Client_dhe_cert_nreq:
@@ -608,7 +608,7 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.3 Client (dhe_cert_nreq)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_client_dhe_cert_nreq_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 7 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_client_dhe_cert_nreq_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 7 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/wolfssl-5.7.6_client_dhe_cert_nreq_DTLS13 output/wolfssl-5.7.6_client_dhe_cert_nreq_DTLS13 7
 
   WolfSSL-5-7-6_DTLS-1-3_Client_dhe_cert_req:
@@ -634,5 +634,55 @@ jobs:
 
       - name: Test wolfssl-5.7.6 DTLS 1.3 Client (dhe_cert_req)
         run: |
-          java -jar target/dtls-fuzzer.jar args/wolfssl/learn_wolfssl_client_dhe_cert_req_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 8 -eqvThreads 8
+          java -jar target/dtls-fuzzer.jar args/mealy/wolfssl/learn_wolfssl_client_dhe_cert_req_DTLS13 -Dwolfssl.version=5.7.6 -roundLimit 8 -eqvThreads 8
           experiments/scripts/diff_hyps.sh experiments/models/regression/clients/rounds/wolfssl-5.7.6_client_dhe_cert_req_DTLS13 output/wolfssl-5.7.6_client_dhe_cert_req_DTLS13 8
+
+  Scandium-2-6-2_Server_psk_ra:
+      if: ${{ !contains(github.event.head_commit.message, 'ci skip') }}
+      runs-on: ubuntu-latest
+      strategy:
+        fail-fast: true
+      steps:
+        - name: Checkout code
+          uses: actions/checkout@v4
+
+        - name: Set up JDK 17
+          uses: actions/setup-java@v4
+          with:
+            java-version: '17'
+            distribution: 'temurin'
+
+        - name: Install DTLS-Fuzzer
+          run: ./install.sh
+
+        - name: Setup SUT
+          run: ./setup_sut.sh scandium-2.6.2
+
+        - name: Test scandium-2.6.2 Server (server_psk_ra)
+          run: |
+            java -jar target/dtls-fuzzer-0.3-SNAPSHOT-ra-jar-with-dependencies.jar args/ra/scandium/learn_scandium_server_psk -Dscandium.version=2.6.2 -roundLimit 5
+
+  CTinyDTLS_Server_psk_ra:
+      if: ${{ !contains(github.event.head_commit.message, 'ci skip') }}
+      runs-on: ubuntu-latest
+      strategy:
+        fail-fast: true
+      steps:
+        - name: Checkout code
+          uses: actions/checkout@v4
+
+        - name: Set up JDK 17
+          uses: actions/setup-java@v4
+          with:
+            java-version: '17'
+            distribution: 'temurin'
+
+        - name: Install DTLS-Fuzzer
+          run: ./install.sh
+
+        - name: Setup SUT
+          run: ./setup_sut.sh ctinydtls
+
+        - name: Test Contiki-NG TinyDTLS Server (psk)
+          run: |
+            java -jar target/dtls-fuzzer-0.3-SNAPSHOT-ra-jar-with-dependencies.jar args/ra/ctinydtls/learn_ctinydtls_server_psk -roundLimit 5

args/README.md

@@ -2,5 +2,5 @@ The folder contains so-called argument files which can be used to run the fuzzer
 To execute the fuzzer using the arguments in a file, run:
 $java -jar target/dtls-fuzzer @arguments_filepath [..overwriting arguments]
 
-The argument files are named following the pattern: [tool_name]_[library]_[configuration].
-The name makes it easy to determine what will actually be executed without having to look at the content of the file.
+The argument files are named following the pattern: [learning_method]_[tool_name]_[library]_[configuration].
+The name makes it easy to determine what will actually be executed without having to look at the content of the file. Note that mealy argument files need to be run with the mealy jar, and that RA argument files need to be run with the RA jar.

args/ctinydtls/learn_ctinydtls_client_ecdhe_cert → args/mealy/ctinydtls/learn_ctinydtls_client_ecdhe_cert

@@ -16,7 +16,7 @@ ${fuzzer.dir}/suts/ctinydtls/tests/dtls-client -p ${sul.port} localhost
 
 # learning config
 -alphabet
-${alphabets.clients}/ecdhe8_cert.xml
+${alphabets.mealy.clients}/ecdhe8_cert.xml
 -equivalenceQueryBound
 20000
 -randLength

args/ctinydtls/learn_ctinydtls_client_ecdhe_cert_shorths → args/mealy/ctinydtls/learn_ctinydtls_client_ecdhe_cert_shorths

@@ -6,7 +6,7 @@ ${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.clients}/tinydtls_ecdhe8_cert.xml
+${alphabets.mealy.clients}/tinydtls_ecdhe8_cert.xml
 -responseWait
 100
 -sulConfig

args/ctinydtls/learn_ctinydtls_client_psk → args/mealy/ctinydtls/learn_ctinydtls_client_psk

@@ -6,7 +6,7 @@ ${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.clients}/psk8.xml
+${alphabets.mealy.clients}/psk8.xml
 -responseWait
 100
 -protocol

args/ctinydtls/learn_ctinydtls_client_psk_shorths → args/mealy/ctinydtls/learn_ctinydtls_client_psk_shorths

@@ -10,7 +10,7 @@ ${sul.port}
 -cmd
 ${fuzzer.dir}/suts/ctinydtls/tests/dtls-client -p ${sul.port} localhost
 -alphabet
-${alphabets.clients}/tinydtls_psk8.xml
+${alphabets.mealy.clients}/tinydtls_psk8.xml
 
 # learning config
 -randLength

args/ctinydtls/learn_ctinydtls_server_ecdhe_cert_none → args/mealy/ctinydtls/learn_ctinydtls_server_ecdhe_cert_none

@@ -6,7 +6,7 @@ localhost:${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.servers}/ecdhe8_cert.xml
+${alphabets.mealy.servers}/ecdhe8_cert.xml
 -responseWait
 100
 -sulConfig

args/ctinydtls/learn_ctinydtls_server_ecdhe_cert_req → args/mealy/ctinydtls/learn_ctinydtls_server_ecdhe_cert_req

@@ -16,7 +16,7 @@ DTLS12
 
 # learning config
 -alphabet
-${alphabets.servers}/ecdhe8_cert.xml
+${alphabets.mealy.servers}/ecdhe8_cert.xml
 -randLength
 10
 -equivalenceQueryBound

args/ctinydtls/learn_ctinydtls_server_psk → args/mealy/ctinydtls/learn_ctinydtls_server_psk

@@ -6,7 +6,7 @@ localhost:${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.servers}/psk8.xml
+${alphabets.mealy.servers}/psk8.xml
 -responseWait
 100
 -protocol

args/etinydtls/learn_etinydtls_client_ecdhe_cert → args/mealy/etinydtls/learn_etinydtls_client_ecdhe_cert

@@ -19,7 +19,7 @@ CHANGE_CIPHER_SPEC:400
 
 # learning config
 -alphabet
-${alphabets.clients}/tinydtls_ecdhe8_cert.xml
+${alphabets.mealy.clients}/tinydtls_ecdhe8_cert.xml
 -randLength
 10
 -equivalenceQueryBound

args/etinydtls/learn_etinydtls_client_psk → args/mealy/etinydtls/learn_etinydtls_client_psk

@@ -6,7 +6,7 @@ ${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.clients}/tinydtls_psk8.xml
+${alphabets.mealy.clients}/tinydtls_psk8.xml
 -responseWait
 100
 -protocol

args/etinydtls/learn_etinydtls_server_ecdhe_cert_none → args/mealy/etinydtls/learn_etinydtls_server_ecdhe_cert_none

@@ -6,7 +6,7 @@ localhost:${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.servers}/ecdhe8_cert.xml
+${alphabets.mealy.servers}/ecdhe8_cert.xml
 -responseWait
 100
 -sulConfig

args/etinydtls/learn_etinydtls_server_ecdhe_cert_req → args/mealy/etinydtls/learn_etinydtls_server_ecdhe_cert_req

@@ -6,7 +6,7 @@ localhost:${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.servers}/ecdhe8_cert.xml
+${alphabets.mealy.servers}/ecdhe8_cert.xml
 -responseWait
 100
 -sulConfig

args/etinydtls/learn_etinydtls_server_psk → args/mealy/etinydtls/learn_etinydtls_server_psk

@@ -6,7 +6,7 @@ localhost:${sul.port}
 -startWait
 50
 -alphabet
-${alphabets.servers}/psk8.xml
+${alphabets.mealy.servers}/psk8.xml
 -responseWait
 100
 -protocol

args/gnutls/learn_gnutls_client_dhe_ecdhe_rsa_cert → args/mealy/gnutls/learn_gnutls_client_dhe_ecdhe_rsa_cert

@@ -18,7 +18,7 @@ Client_identity
 
 # learning config
 -alphabet
-${alphabets.clients}/dhe_ecdhe_rsa_cert.xml
+${alphabets.mealy.clients}/dhe_ecdhe_rsa_cert.xml
 -randLength
 10
 -equivalenceQueryBound

args/gnutls/learn_gnutls_client_dhe_ecdhe_rsa_cert_reneg → args/mealy/gnutls/learn_gnutls_client_dhe_ecdhe_rsa_cert_reneg

@@ -18,7 +18,7 @@ Client_identity
 
 # learning config
 -alphabet
-${alphabets.clients}/dhe_ecdhe_rsa_cert_reneg.xml
+${alphabets.mealy.clients}/dhe_ecdhe_rsa_cert_reneg.xml
 -randLength
 10
 -equivalenceQueryBound