Runtest Report

Engula binary: /home/ecs-user/.proof/bin/engula-server
Redis source: /home/ecs-user/.proof/src/redis
Started: 2026-05-20 23:38:57   Duration: 20m2s
87.0%
Pass Rate
92
Total
80
Passed
12
Failed
0
Errors
0
Skipped
3098
[ok] Markers
32
[err] Markers
unit36 passed   8 failed   82%   ▶
TestStatusDetail
printverPASSall passed
dumpPASSall passed
authPASSall passed
protocolPASSall passed
keyspacePASSall passed
scanPASSall passed
infoPASSall passed
info-commandPASSall passed
sortPASSall passed
expirePASSall passed
otherFAILDon't rehash if redis has child process in tests/unit/other.tcl
multiFAILMULTI propagation of XREADGROUP in tests/unit/multi.tcl
quitPASSall passed
aofrwPASSall passed
aclFAILACL load and save in tests/unit/acl.tcl; ACL load and save with restricted channels in tests/unit/acl.tcl
acl-v2PASSall passed
latency-monitorPASSall passed
pubsubPASSall passed
pubsubshardPASSall passed
slowlogPASSall passed
scriptingPASSall passed
functionsPASSall passed
maxmemoryFAILeviction due to input buffer of a dead client, client eviction: false in tests/unit/maxmemory.tcl; Without maxmemory small integers are shared in tests/unit/maxmemory.tcl; With maxmemory and non-LRU policy integers are still shared in tests/unit/maxmemory.tcl; maxmemory - only allkeys-* should remove non-volatile keys (volatile-lru) in tests/unit/maxmemory.tc...; maxmemory - only allkeys-* should remove non-volatile keys (volatile-random) in tests/unit/maxmemory...; maxmemory - only allkeys-* should remove non-volatile keys (volatile-ttl) in tests/unit/maxmemory.tc...; replica buffer don't induce eviction in tests/unit/maxmemory.tcl; client tracking don't cause eviction feedback loop in tests/unit/maxmemory.tcl
introspectionPASSall passed
introspection-2PASSall passed
limitsPASSall passed
obuf-limitsPASSall passed
bitopsFAILBITCOUNT syntax error #1 in tests/unit/bitops.tcl
bitfieldPASSall passed
geoPASSall passed
memefficiencyFAILActive defrag in tests/unit/memefficiency.tcl; Active defrag eval scripts in tests/unit/memefficiency.tcl; Active defrag big keys in tests/unit/memefficiency.tcl; Active defrag big list in tests/unit/memefficiency.tcl; Active defrag edge case in tests/unit/memefficiency.tcl
hyperloglogPASSall passed
lazyfreePASSall passed
waitFAILWAITAOF local wait and then stop aof in tests/unit/wait.tcl; WAITAOF local on server with aof disabled in tests/unit/wait.tcl
pausePASSall passed
querybufPASSall passed
tlsPASSall passed
trackingFAILTracking invalidation message of eviction keys should be before response in tests/unit/tracking.tcl
oom-score-adjPASSall passed
shutdownPASSall passed
networkingPASSall passed
client-evictionPASSall passed
violationsPASSall passed
replybufsizePASSall passed
unit/type8 passed   2 failed   80%   ▶
TestStatusDetail
stringPASSall passed
incrFAILINCR uses shared objects in the 0-9999 range in tests/unit/type/incr.tcl
listPASSall passed
list-2PASSall passed
list-3PASSall passed
setFAILSRANDMEMBER with a dict containing long chain in tests/unit/type/set.tcl; SMOVE basics - from regular set to intset in tests/unit/type/set.tcl; SMOVE basics - from intset to regular set in tests/unit/type/set.tcl; SMOVE non existing key in tests/unit/type/set.tcl; SMOVE non existing src set in tests/unit/type/set.tcl; SMOVE from regular set to non existing destination set in tests/unit/type/set.tcl; SMOVE from intset to non existing destination set in tests/unit/type/set.tcl
zsetPASSall passed
hashPASSall passed
streamPASSall passed
stream-cgroupsPASSall passed
integration24 passed   2 failed   92%   ▶
TestStatusDetail
block-replPASSall passed
replicationPASSall passed
replication-2PASSall passed
replication-3PASSall passed
replication-4PASSall passed
replication-psyncPASSall passed
replication-bufferPASSall passed
shutdownPASSall passed
aofPASSall passed
aof-racePASSall passed
aof-multi-partPASSall passed
rdbFAILTest RDB load info in tests/integration/rdb.tcl
corrupt-dumpPASSall passed
corrupt-dump-fuzzerPASSall passed
convert-zipmap-hash-on-loadPASSall passed
convert-ziplist-hash-on-loadPASSall passed
convert-ziplist-zset-on-loadPASSall passed
loggingPASSall passed
psync2PASSall passed
psync2-regPASSall passed
psync2-pingoffPASSall passed
psync2-master-restartFAILPSYNC2: Partial resync after Master restart using RDB aux fields with expire in tests/integration/ps...; PSYNC2: Full resync after Master restart when too many key expired in tests/integration/psync2-maste...
failoverPASSall passed
redis-cliPASSall passed
redis-benchmarkPASSall passed
dismiss-memPASSall passed
unit/cluster12 passed   100%   ▶
TestStatusDetail
announced-endpointsPASSall passed
miscPASSall passed
cliPASSall passed
scriptingPASSall passed
hostnamesPASSall passed
human-announced-nodenamePASSall passed
multi-slot-operationsPASSall passed
slot-ownershipPASSall passed
linksPASSall passed
cluster-response-tlsPASSall passed
failure-markingPASSall passed
sharded-pubsubPASSall passed
Generated by proof test compat --sub runtest  |  2026-05-20 23:59:00