Proof Dashboard

Latest test results across verification sub-parts

Compatibility
0/12

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

Name Status Summary Duration Version Time Report
modules errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 506ms engula-latest 2026-04-05 01:00:01 -
acl errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 0ms engula-latest 2026-04-05 01:00:01 -
config errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 0ms engula-latest 2026-04-05 01:00:01 -
keyspace errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 509ms engula-latest 2026-04-05 01:00:01 -
coverage errorerror redis-server not found in PATH (required for baseline comparison) 0ms engula-latest 2026-04-05 01:00:01 View
protocol errorerror redis-server not found in PATH (required for baseline comparison) 0ms engula-latest 2026-04-05 01:00:01 View
lua errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 508ms engula-latest 2026-04-05 01:00:01 -
transaction errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 509ms engula-latest 2026-04-05 01:00:01 -
pubsub errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 509ms engula-latest 2026-04-05 01:00:01 -
stream errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 509ms engula-latest 2026-04-05 01:00:01 -
persistence errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 0ms engula-latest 2026-04-05 01:00:01 -
errors errorerror redis-server not found: exec: "redis-server": executable file not found in $PATH 0ms engula-latest 2026-04-05 01:00:01 -
Performance
3/3

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

Name Status Summary Duration Version Time Report
throughput+latency check_circlepass perf: 6 points, 6 pass, 0 fail, duration 8m23s 8m23s engula-latest 2026-04-05 01:00:04 View
cpu-usage check_circlepass perf: 6 points, 6 pass, 0 fail, duration 8m23s 8m23s engula-latest 2026-04-05 01:00:04 View
memory-efficiency check_circlepass perf: 6 points, 6 pass, 0 fail, duration 8m23s 8m23s engula-latest 2026-04-05 01:00:04 View
RDB Save/Load
0/1

RDB save time, load time, and memory efficiency comparison

Name Status Summary Duration Version Time Report
rdb-save-load cancelfail RDB save/load: 1 points, 0 pass, 1 fail, duration 3m11s 3m11s engula-latest 2026-04-05 01:08:27 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-04-05 01:11:38 View
HA & Cluster
5/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 16s engula-latest 2026-04-05 01:12:53 View
cluster check_circlepass Cluster failover: 10.0s, 4 errors, no data loss 23s engula-latest 2026-04-05 01:12:53 View
replica-sync check_circlepass Replica sync: 5 type tests passed, 10000 bulk keys verified, offset_diff=0 6s engula-latest 2026-04-05 01:12:53 View
reshard check_circlepass Reshard: duration=3.6s, data_loss=0, error_rate=0.00% 20s engula-latest 2026-04-05 01:12:53 View
mixed errorerror redis-server not found. Install it or set --redis-source-dir 0ms engula-latest 2026-04-05 01:12:53 -
network-partition check_circlepass Network partition recovered: detection 10028.0ms, failover 11231.0ms, recovery 200.0ms, no data loss 43s engula-latest 2026-04-05 03:00:01 View
Engula Proof Dashboard ยท Powered by proof-suites