CONFIG Compatibility Report

Engula: /home/ecs-user/.proof/bin/engula-server
Redis: /home/ecs-user/bin/redis-server
Started: 2026-04-03 17:19:09   Duration: 1s
PASS
Status
100.0%
Pass Rate
6
Total
6
Passed
0
Failed
0
Skipped

config: keys=190 common, value_mismatch=0, set_mismatch=0, unit_mismatch=0, invalid_err_mismatch=0

Test Phases

StatusPhaseDetails
PASS phase1_key_discovery engula=215, redis=195, common=190, redis_only=5, engula_only=25
PASS phase2_value_comparison matches=185, mismatches=0
PASS phase3_set_behavior matches=22, mismatches=0
PASS phase4_invalid_values matches=4, mismatches=0
PASS phase5_unit_suffixes matches=3, mismatches=0
PASS phase6_config_rewrite match=true

Key Comparison Table

StatusKeyEngula ValueRedis Value
MATCHacl-pubsub-defaultresetchannelsresetchannels
MATCHaclfile
MATCHacllog-max-len128128
MATCHactive-defrag-cycle-max2525
MATCHactive-defrag-cycle-min11
MATCHactive-defrag-ignore-bytes104857600104857600
MATCHactive-defrag-max-scan-fields10001000
MATCHactive-defrag-threshold-lower1010
MATCHactive-defrag-threshold-upper100100
MATCHactive-expire-effort11
MATCHactivedefragnono
MATCHactiverehashingyesyes
MATCHalways-show-logonono
MATCHaof-load-truncatedyesyes
MATCHaof-rewrite-incremental-fsyncyesyes
MATCHaof-timestamp-enablednono
MATCHaof-use-rdb-preambleyesyes
MATCHappenddirnameappendonlydirappendonlydir
MATCHappendfilenameappendonly.aofappendonly.aof
MATCHappendfsynceveryseceverysec
MATCHappendonlynono
MATCHauto-aof-rewrite-min-size6710886467108864
MATCHauto-aof-rewrite-percentage100100
MATCHbind127.0.0.1127.0.0.1
MATCHbind-source-addr
MATCHbusy-reply-threshold50005000
MATCHclient-output-buffer-limitnormal 0 0 0 slave 268435456 67108864 60 pubsub 33554432 8388608 60normal 0 0 0 slave 268435456 67108864 60 pubsub 33554432 8388608 60
MATCHclient-query-buffer-limit10737418241073741824
MATCHcluster-allow-pubsubshard-when-downyesyes
MATCHcluster-allow-reads-when-downnono
MATCHcluster-allow-replica-migrationyesyes
MATCHcluster-announce-bus-port00
MATCHcluster-announce-hostname
MATCHcluster-announce-human-nodename
MATCHcluster-announce-ip
MATCHcluster-announce-port00
MATCHcluster-announce-tls-port00
MATCHcluster-config-filenodes.confnodes.conf
MATCHcluster-enablednono
MATCHcluster-link-sendbuf-limit00
MATCHcluster-migration-barrier11
MATCHcluster-node-timeout1500015000
MATCHcluster-port00
MATCHcluster-preferred-endpoint-typeipip
MATCHcluster-replica-no-failovernono
MATCHcluster-replica-validity-factor1010
MATCHcluster-require-full-coverageyesyes
MATCHcluster-slave-no-failovernono
MATCHcluster-slave-validity-factor1010
MATCHcrash-log-enabledyesyes
MATCHcrash-memcheck-enabledyesyes
MATCHdaemonizenono
MATCHdatabases1616
MATCHdbfilenamedump.rdbdump.rdb
MATCHdir/tmp/proof-config-engula-2953137649/tmp/proof-config-redis-3797266987
MATCHdisable-thpyesyes
MATCHdynamic-hzyesyes
MATCHenable-debug-commandnono
MATCHenable-module-commandnono
MATCHenable-protected-configsnono
MATCHhash-max-listpack-entries512512
MATCHhash-max-listpack-value6464
MATCHhash-max-ziplist-entries512512
MATCHhash-max-ziplist-value6464
MATCHhll-sparse-max-bytes30003000
MATCHhz1010
MATCHignore-warnings
MATCHio-threads11
MATCHjemalloc-bg-threadyesyes
MATCHlatency-monitor-threshold00
MATCHlatency-trackingyesyes
MATCHlatency-tracking-info-percentiles50 99 99.950 99 99.9
MATCHlazyfree-lazy-evictionnono
MATCHlazyfree-lazy-expirenono
MATCHlazyfree-lazy-server-delnono
MATCHlazyfree-lazy-user-delnono
MATCHlazyfree-lazy-user-flushnono
MATCHlfu-decay-time11
MATCHlfu-log-factor1010
MATCHlist-compress-depth00
MATCHlist-max-listpack-size-2-2
MATCHlist-max-ziplist-size-2-2
MATCHlocale-collate
MATCHlogfile/home/ecs-user/ws/engula-proof-suites/results/compat-1.12-config/20260403T171909/engula.log/home/ecs-user/ws/engula-proof-suites/results/compat-1.12-config/20260403T171909/redis.log
MATCHloglevelnoticenotice
MATCHlua-time-limit50005000
MATCHmasterauth
MATCHmasteruser
MATCHmaxclients1000010000
MATCHmaxmemory00
MATCHmaxmemory-clients00
MATCHmaxmemory-eviction-tenacity1010
MATCHmaxmemory-policynoevictionnoeviction
MATCHmaxmemory-samples55
MATCHmin-replicas-max-lag1010
MATCHmin-replicas-to-write00
MATCHmin-slaves-max-lag1010
MATCHmin-slaves-to-write00
MATCHno-appendfsync-on-rewritenono
MATCHnotify-keyspace-events
MATCHoom-score-adjnono
MATCHoom-score-adj-values0 200 8000 200 800
MATCHpidfile
MATCHport2110021101
MATCHproc-title-template{title} {listen-addr} {server-mode}{title} {listen-addr} {server-mode}
MATCHpropagation-error-behaviorignoreignore
MATCHprotected-modenono
MATCHproto-max-bulk-len536870912536870912
MATCHrdb-del-sync-filesnono
MATCHrdb-save-incremental-fsyncyesyes
MATCHrdbchecksumyesyes
MATCHrdbcompressionyesyes
MATCHrepl-backlog-size10485761048576
MATCHrepl-backlog-ttl36003600
MATCHrepl-disable-tcp-nodelaynono
MATCHrepl-diskless-loaddisableddisabled
MATCHrepl-diskless-syncyesyes
MATCHrepl-diskless-sync-delay55
MATCHrepl-diskless-sync-max-replicas00
MATCHrepl-ping-replica-period1010
MATCHrepl-ping-slave-period1010
MATCHrepl-timeout6060
MATCHreplica-announce-ip
MATCHreplica-announce-port00
MATCHreplica-announcedyesyes
MATCHreplica-ignore-disk-write-errorsnono
MATCHreplica-ignore-maxmemoryyesyes
MATCHreplica-lazy-flushyesno
MATCHreplica-priority100100
MATCHreplica-read-onlyyesyes
MATCHreplica-serve-stale-datayesyes
MATCHreplicaof
MATCHrequirepass
MATCHsanitize-dump-payloadnono
MATCHsave
MATCHset-max-intset-entries512512
MATCHset-max-listpack-entries128128
MATCHset-max-listpack-value6464
MATCHset-proc-titleyesyes
MATCHshutdown-on-sigintdefaultdefault
MATCHshutdown-on-sigtermdefaultdefault
MATCHshutdown-timeout1010
MATCHslave-announce-ip
MATCHslave-announce-port00
MATCHslave-ignore-maxmemoryyesyes
MATCHslave-lazy-flushyesno
MATCHslave-priority100100
MATCHslave-read-onlyyesyes
MATCHslave-serve-stale-datayesyes
MATCHslaveof
MATCHslowlog-log-slower-than1000010000
MATCHslowlog-max-len128128
MATCHsocket-mark-id00
MATCHstop-writes-on-bgsave-erroryesyes
MATCHstream-node-max-bytes40964096
MATCHstream-node-max-entries100100
MATCHsupervisednono
MATCHsyslog-enablednono
MATCHsyslog-facilitylocal0local0
MATCHsyslog-identredisredis
MATCHtcp-backlog511511
MATCHtcp-keepalive300300
MATCHtimeout00
MATCHtls-auth-clientsyesyes
MATCHtls-ca-cert-dir
MATCHtls-ca-cert-file
MATCHtls-cert-file
MATCHtls-ciphers
MATCHtls-ciphersuites
MATCHtls-client-cert-file
MATCHtls-client-key-file
MATCHtls-client-key-file-pass
MATCHtls-clusternono
MATCHtls-dh-params-file
MATCHtls-key-file
MATCHtls-key-file-pass
MATCHtls-port00
MATCHtls-prefer-server-ciphersnono
MATCHtls-protocols
MATCHtls-replicationnono
MATCHtls-session-cache-size2048020480
MATCHtls-session-cache-timeout300300
MATCHtls-session-cachingyesyes
MATCHtracking-table-max-keys10000001000000
MATCHunixsocket
MATCHunixsocketperm00
MATCHzset-max-listpack-entries128128
MATCHzset-max-listpack-value6464
MATCHzset-max-ziplist-entries128128
MATCHzset-max-ziplist-value6464
StatusKeyEngula ValueRedis Value

Engula-only Keys (25)

active-defrag-cycle-us, availability-zone, cluster-announce-client-ipv4, cluster-announce-client-ipv6, cluster-blacklist-ttl, cluster-manual-failover-timeout, cluster-slot-stats-enabled, commandlog-execution-slower-than, commandlog-large-reply-max-len, commandlog-large-request-max-len, commandlog-reply-larger-than, commandlog-request-larger-than, commandlog-slow-execution-max-len, dual-channel-replication-enabled, extended-redis-compatibility, hide-user-data-from-log, import-mode, log-format, log-timestamp-format, max-new-connections-per-cycle, max-new-tls-connections-per-cycle, prefetch-batch-max-size, primaryauth, primaryuser, rdb-version-check

Redis-only Keys (5)

aof_rewrite_cpulist, bgsave_cpulist, bio_cpulist, io-threads-do-reads, server_cpulist