issues
search
nurturenature
/
fuzz_dist
Property testing distributed applications with fault injection and verification.
Apache License 2.0
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
missed a deps
#84
nurturenature
closed
2 years ago
0
file-corruption nemesis now available (our PR for Jepsen was accepted :)
#83
nurturenature
closed
2 years ago
0
all final reads =
#82
nurturenature
closed
2 years ago
0
better final reads checker, update Antidote results
#81
nurturenature
closed
2 years ago
0
Dev
#80
nurturenature
closed
2 years ago
0
Dev
#79
nurturenature
closed
2 years ago
0
Dev
#78
nurturenature
closed
2 years ago
0
unique random increments for grow only counter, gen and doc clean-up
#77
nurturenature
closed
2 years ago
0
latest full g-set & pn-counter test-all environment, results
#76
nurturenature
closed
2 years ago
0
use unique random numbers for op values, the more sparse the possible counter states, the more the checker can infer
#75
nurturenature
closed
2 years ago
0
improved checking of final? reads, look for suspicious ops where value = counter error offset
#74
nurturenature
closed
2 years ago
0
augment history with counter and process PoV values for easier processing, so can plot it too!
#73
nurturenature
closed
2 years ago
0
model every individual process's state w/TreeRangeSet, allows for validation of every op value against every possibility
#72
nurturenature
closed
2 years ago
0
Dev
#71
nurturenature
closed
2 years ago
0
more complete pn-counter client, checker, refactored to jepsen.test
#70
nurturenature
closed
2 years ago
0
full checker for eventually-consistent pn-counter
#69
nurturenature
closed
2 years ago
0
clarify observations
#68
nurturenature
closed
2 years ago
0
live w/git: vs path:, no assumptions
#67
nurturenature
closed
2 years ago
0
work around slow mix.exs git's with path deps
#66
nurturenature
closed
2 years ago
0
Dev
#65
nurturenature
closed
2 years ago
0
Antidote changed directory structure, match it
#64
nurturenature
closed
2 years ago
0
Dev
#63
nurturenature
closed
2 years ago
0
default cli parms to docker example
#62
nurturenature
closed
2 years ago
0
Dev
#61
nurturenature
closed
2 years ago
0
more explicit match on Erlang client return msgs
#60
nurturenature
closed
2 years ago
0
explicitly handle more Erlang client return values
#59
nurturenature
closed
2 years ago
0
update deps
#58
nurturenature
closed
2 years ago
0
align w/observations
#57
nurturenature
closed
2 years ago
0
update docs w/latest test results
#56
nurturenature
closed
2 years ago
0
escape patterns for log file scan
#55
nurturenature
closed
2 years ago
0
add/read ints in full code path for g-set, simplify gen phases
#54
nurturenature
closed
2 years ago
0
pn-counter: Jepsen workload, client, checker and Elixir client for AntidoteDB
#53
nurturenature
closed
2 years ago
0
1st summary of AntidoteDB status, tune workload for debugging
#52
nurturenature
closed
2 years ago
0
test-all can do specified or all nemesis
#51
nurturenature
closed
2 years ago
0
Dev
#50
nurturenature
closed
2 years ago
0
better client behavior when websockets impacted by nemesis faults, e.g. timeouts, exceptions
#49
nurturenature
closed
2 years ago
0
use su consistently, check setup-primaries! return
#48
nurturenature
closed
2 years ago
0
explicit list of log files to capture
#47
nurturenature
closed
2 years ago
0
improved db/Process to support :kill :pause nemesis
#46
nurturenature
closed
2 years ago
0
better test-all behavior, CLI args, client Exception handling
#45
nurturenature
closed
2 years ago
0
enable test-all
#44
nurturenature
closed
2 years ago
0
add :pause & :kill nemesis support
#43
nurturenature
closed
2 years ago
0
refactor to jepse.nemesis.combined exclusively
#42
nurturenature
closed
2 years ago
0
closer to Jepsen's workload, nemesis patterns
#41
nurturenature
closed
2 years ago
0
:telemetry 1.1
#40
nurturenature
closed
2 years ago
0
clarify config
#39
nurturenature
closed
2 years ago
0
install db from local file system, git, or container
#38
nurturenature
closed
2 years ago
1
Docker support WIP (antidote is build in docker with the latest erlang)
#37
define-null
closed
2 years ago
4
current sample, sample showing anomaly
#36
nurturenature
closed
2 years ago
0
test-all more fully integrated w/cli range opts, more targeted charting, more clojure'y
#35
nurturenature
closed
2 years ago
0
Next