config.yaml

learner:
    runsPerQuery: 3
    confidence: 85
    maxAttempts: 100
    sutPort: 3333
    sutIP: adapter
    inputAlphabet:
        # - INITIAL(?,?)[CRYPTO]
        # - INITIAL(?,?)[ACK,HANDSHAKE_DONE]
        # - HANDSHAKE(?,?)[ACK,CRYPTO]
        # - HANDSHAKE(?,?)[ACK,HANDSHAKE_DONE]
        # - SHORT(?,?)[ACK,MAX_DATA,MAX_STREAM_DATA]
        # - SHORT(?,?)[ACK,STREAM]
        # - SHORT(?,?)[ACK,HANDSHAKE_DONE]
        - SYN(?,?,0)
        - SYN+ACK(?,?,0)
        - ACK(?,?,0)
        - ACK+PSH(?,?,1)
        - FIN+ACK(?,?,0)
        - RST(?,?,0)
        - ACK+RST(?,?,0)
adapter:
    adapterAddress: 0.0.0.0:3333
    sulAddress: implementation:4433
    sulName: quic.tiferrei.com
    http3: false
    tracing: false
    waitTime: 400ms
    httpPath: /index.html
synthesizer:
    protocol: TCP
    adapter_ip: adapter
    adapter_port: 3333
    dot: /data/learner/learnresult.dot
    oracle_table: /data/adapter/oracleTable.json