Proof Results

Latest test results across verification sub-parts

Compatibility
16/16

Redis 7.2 command coverage, protocol, lua, transaction, pubsub, stream, persistence, errors, modules, ACL, config, keyspace

Name Status Summary Duration Version Time Report
runtest check_circlepass runtest: Passed 84, Failed 8, Errors 0, Skipped 0 (pass rate: 99.2%) 19m36s engula-latest 2026-07-06 02:58:28 View
coverage check_circlepass command coverage: 370/370 commands supported (100.0%) 1s engula-latest 2026-07-06 02:58:28 View
protocol check_circlepass protocol: 50/50 match, 0 mismatch, 0 errors (RESP2+RESP3) 1s engula-latest 2026-07-06 02:58:28 View
lua check_circlepass lua: Passed 23, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-07-06 02:58:28 View
transaction check_circlepass transaction: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-07-06 02:58:28 View
pubsub check_circlepass pubsub: Passed 12, Failed 0, Skipped 0 (pass rate: 100.0%) 5s engula-latest 2026-07-06 02:58:28 View
stream check_circlepass stream: Passed 15, Failed 0, Skipped 0 (pass rate: 100.0%) 2s engula-latest 2026-07-06 02:58:28 View
persistence check_circlepass persistence: 10 passed, 0 failed 33s engula-latest 2026-07-06 02:58:28 View
errors check_circlepass errors: 10 passed, 0 failed 1s engula-latest 2026-07-06 02:58:28 View
modules check_circlepass modules: Passed 19, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-07-06 02:58:28 View
acl check_circlepass acl: Passed 14, Failed 0, Skipped 0 (pass rate: 100.0%) 1s engula-latest 2026-07-06 02:58:28 View
config check_circlepass config: keys=190 common, value_mismatch=0, set_mismatch=0, unit_mismatch=0, invalid_err_mismatch=0 1s engula-latest 2026-07-06 02:58:28 View
keyspace check_circlepass keyspace: Passed 7, Failed 0, Skipped 0 (pass rate: 100.0%) 42s engula-latest 2026-07-06 02:58:28 View
sentinel check_circlepass runtest-sentinel: Passed 16, Failed 0, Errors 0, Skipped 0 (pass rate: 100.0%) 2m12s engula-latest 2026-07-06 02:58:28 View
cluster check_circlepass runtest-cluster: Passed 28, Failed 0, Errors 0, Skipped 0 (pass rate: 100.0%) 9m38s engula-latest 2026-07-06 02:58:28 View
moduleapi check_circlepass runtest-moduleapi: Passed 40, Failed 0, Errors 0, Skipped 0 (pass rate: 100.0%) 2m53s engula-latest 2026-07-06 02:58:28 View
Client Compatibility
4/4

Community client library compatibility (jedis, redis-py, go-redis, node-redis)

Name Status Summary Duration Version Time Report
jedis check_circlepass jedis v6.2.0 vs redis: compat_pass_rate=0.9989 (8552/8561), 9 engula-only failures, 1 shared failures (pass, threshold 0.95) 16m22s engula-latest 2026-06-27 05:05:08 View
redis-py check_circlepass redis-py master vs redis-server Redis server v=7.2.11 sha=d4c381df:0 malloc=jemalloc-5.3.0 bits=64 build=7dce983fad20426a: compat_pass_rate=0.9991 (3477/3480), 3 engula-only failures, 0 shared failures (pass, threshold 0.95) 10m41s engula-latest 2026-06-27 04:21:52 View
go-redis check_circlepass go-redis v9.3.1 vs standard-location: compat_pass_rate=1.0000 (580/580), 0 engula-only failures, 89 shared failures (pass, threshold 0.95) 3m28s engula-latest 2026-06-27 04:21:52 View
node-redis check_circlepass node-redis stable vs redis-server Redis server v=7.2.9 sha=00000000:0 malloc=jemalloc-5.3.0 bits=64 build=6fedd50513fcbef1: compat_pass_rate=1.0000 (2137/2137), 0 engula-only failures, 4 shared failures (pass, threshold 0.95) 7m48s engula-latest 2026-07-06 03:19:01 View
Performance
4/4

Throughput, latency, CPU, and memory benchmarks vs Redis baseline

Name Status Summary Duration Version Time Report
throughput check_circlepass perf: 36 points, 36 pass, 0 fail, duration 1h17m35s 1h17m35s engula-latest 2026-07-03 13:40:36 View
latency check_circlepass perf: 36 points, 36 pass, 0 fail, duration 1h17m35s 1h17m35s engula-latest 2026-07-03 13:40:36 View
cpu-usage check_circlepass perf: 36 points, 36 pass, 0 fail, duration 1h17m35s 1h17m35s engula-latest 2026-07-03 13:40:36 View
memory-efficiency check_circlepass perf: 36 points, 36 pass, 0 fail, duration 1h17m35s 1h17m35s engula-latest 2026-07-03 13:40:36 View
RDB Save/Load
1/1

RDB save time, load time, and memory efficiency comparison

Name Status Summary Duration Version Time Report
rdb-save-load check_circlepass RDB save/load: 12 points, 12 pass, 0 fail, duration 34m47s 34m47s engula-latest 2026-06-22 10:40:44 View
Platform
1/1

Linux x86_64 platform compatibility checks

Name Status Summary Duration Version Time Report
linux-x86_64 check_circlepass 7 platform checks passed 1m15s engula-latest 2026-07-06 03:34:01 View
HA & Cluster
6/6

Sentinel failover, cluster failover, replica sync, reshard, mixed deployment, network partition

Name Status Summary Duration Version Time Report
sentinel check_circlepass Sentinel failover: 6.5s, error_duration=0.0s, 65 errors, no data loss 17s engula-latest 2026-07-06 03:32:15 View
cluster check_circlepass Cluster failover: 10.0s, 4 errors, no data loss 23s engula-latest 2026-07-06 03:32:15 View
replica-sync check_circlepass Replica sync: 5 type tests passed, 10000 bulk keys verified, offset_diff=0 7s engula-latest 2026-07-06 03:32:15 View
reshard check_circlepass Reshard: duration=11.1s, data_loss=0, error_rate=0.00% 1m21s engula-latest 2026-07-06 03:32:15 View
mixed check_circlepass Mixed cluster: Scenario A (Redis primaries) failover=10.0s loss=0, Scenario B (Engula primaries) failover=10.0s loss=0 47s engula-latest 2026-07-06 03:32:15 View
network-partition check_circlepass Network partition recovered: detection 8445.0ms, failover 10260.0ms, recovery 404.0ms, no data loss 43s engula-latest 2026-06-29 20:32:58 View
Engula Proof Results · Powered by proof-suites