prisma-risk / tsoracle / 26320904768
95%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 72
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 95.188% (+0.8%) from 94.345%
26320904768

push

github

web-flow 
test(driver-paxos): integration test suite (#185)

* test(driver-paxos): shared integration test harness

Adds tests/common/mod.rs with a Cluster<S> that boots N StandaloneHost
instances wired through a shared MemNetwork. Each node's runner ticks on
its own; a per-node pump task drains the inbox into the OmniPaxos handle
via handle_incoming. The harness exposes build_mem_cluster,
build_rocksdb_cluster, start_all, stop_all, stop_node, drive_until, plus
leader / decided_idx / high_water inspectors.

Adds rocksdb to dev-dependencies so the restart-coverage tests can open a
RocksdbStorage in a TempDir per node.

* test(driver-paxos): single-runner sanity and three-runner advance

* test(driver-paxos): three-node quorum advance and fence rejection

* test(driver-paxos): partition + heal preserves monotonic high-water

* test(driver-paxos): restart preserves decided state and replays from log

Adds tests/restart_replay.rs covering the RocksDB-backed restart path:
boots a 3-node cluster, decides two Advances, stops one follower, decides
a third Advance on the remaining majority, reopens the stopped node's
storage and rebuilds its host, then asserts the restarted node catches up
to the cluster's high_water via log replay.

Extends the harness with rebuild_rocksdb_node + start_node helpers that
release the harness-held Arc to OmniPaxos on stop_node so RocksDB can
drop its directory lock before the same path is reopened. Migrates
existing test files to the new omnipaxos() accessor (the field is now
Option<Arc<...>> so stop_node can null it).

Bumps partition_churn's drive_until ticks from 3_000 to 5_000 for
robustness when the full test suite runs binaries in parallel.

* test(driver-paxos): snapshot policy persists across restart

* test(driver-paxos): snapshot transfer to joining node

* test(driver-paxos): 3-to-5 stopsign reconfiguration

* test(driver-paxos): widen partition_churn max_ticks for slower hosts

The 5_000-tick budget was tight on developer mach... (continued)

9476 of 9955 relevant lines covered (95.19%)

526423.37 hits per line

Jobs
ID Job ID Ran Files Coverage
1 26320904768.1 72
95.19
 GitHub Action Run
Source Files on build 26320904768