gitextract_id8dqfc2/ ├── .gitignore ├── .travis.yml ├── README.md ├── antithesis/ │ ├── .gitignore │ ├── CHANGELOG.md │ ├── LICENSE │ ├── README.md │ ├── composer/ │ │ ├── check │ │ └── op │ ├── doc/ │ │ └── intro.md │ ├── project.clj │ ├── src/ │ │ └── jepsen/ │ │ ├── antithesis/ │ │ │ ├── Random.java │ │ │ └── composer.clj │ │ └── antithesis.clj │ └── test/ │ └── jepsen/ │ ├── antithesis/ │ │ └── composer_test.clj │ └── antithesis_test.clj ├── charybdefs/ │ ├── .gitignore │ ├── README.md │ ├── project.clj │ ├── src/ │ │ └── jepsen/ │ │ └── charybdefs.clj │ └── test/ │ ├── .gitignore │ └── jepsen/ │ └── charybdefs/ │ └── remote_test.clj ├── contributing.md ├── doc/ │ ├── color.md │ ├── lxc-f36.md │ ├── lxc.md │ ├── plan.md │ ├── tutorial/ │ │ ├── 01-scaffolding.md │ │ ├── 02-db.md │ │ ├── 03-client.md │ │ ├── 04-checker.md │ │ ├── 05-nemesis.md │ │ ├── 06-refining.md │ │ ├── 07-parameters.md │ │ ├── 08-set.md │ │ └── index.md │ └── whats-here.md ├── docker/ │ ├── .gitignore │ ├── README.md │ ├── bin/ │ │ ├── build-docker-compose │ │ ├── console │ │ ├── up │ │ └── web │ ├── control/ │ │ ├── .gitignore │ │ ├── Dockerfile │ │ ├── bashrc │ │ └── init.sh │ ├── docker-compose.dev.yml │ ├── node/ │ │ ├── Dockerfile │ │ └── setup-jepsen.sh │ ├── secret/ │ │ └── .gitkeep │ └── template/ │ ├── db.yml │ ├── depends.yml │ └── docker-compose.yml ├── generator/ │ ├── .gitignore │ ├── CHANGELOG.md │ ├── LICENSE │ ├── README.md │ ├── doc/ │ │ └── intro.md │ ├── project.clj │ ├── src/ │ │ └── jepsen/ │ │ ├── generator/ │ │ │ ├── context.clj │ │ │ ├── test.clj │ │ │ └── translation_table.clj │ │ ├── generator.clj │ │ └── random.clj │ └── test/ │ └── jepsen/ │ ├── generator/ │ │ ├── context_test.clj │ │ └── translation_table_test.clj │ ├── generator_test.clj │ └── random_test.clj ├── jepsen/ │ ├── .eastwood.clj │ ├── LICENSE.txt │ ├── project.clj │ ├── resources/ │ │ ├── bump-time.c │ │ ├── corrupt-file.c │ │ ├── log4j.properties │ │ ├── strobe-time-experiment.c │ │ └── strobe-time.c │ ├── src/ │ │ └── jepsen/ │ │ ├── adya.clj │ │ ├── checker/ │ │ │ ├── clock.clj │ │ │ ├── perf.clj │ │ │ ├── plot.clj │ │ │ └── timeline.clj │ │ ├── checker.clj │ │ ├── cli.clj │ │ ├── client.clj │ │ ├── codec.clj │ │ ├── control/ │ │ │ ├── clj_ssh.clj │ │ │ ├── core.clj │ │ │ ├── docker.clj │ │ │ ├── k8s.clj │ │ │ ├── net.clj │ │ │ ├── retry.clj │ │ │ ├── scp.clj │ │ │ ├── sshj.clj │ │ │ └── util.clj │ │ ├── control.clj │ │ ├── core.clj │ │ ├── db/ │ │ │ └── watchdog.clj │ │ ├── db.clj │ │ ├── faketime.clj │ │ ├── fs_cache.clj │ │ ├── generator/ │ │ │ └── interpreter.clj │ │ ├── independent.clj │ │ ├── lazyfs.clj │ │ ├── nemesis/ │ │ │ ├── combined.clj │ │ │ ├── file.clj │ │ │ ├── membership/ │ │ │ │ └── state.clj │ │ │ ├── membership.clj │ │ │ └── time.clj │ │ ├── nemesis.clj │ │ ├── net/ │ │ │ └── proto.clj │ │ ├── net.clj │ │ ├── os/ │ │ │ ├── centos.clj │ │ │ ├── debian.clj │ │ │ ├── smartos.clj │ │ │ └── ubuntu.clj │ │ ├── os.clj │ │ ├── print.clj │ │ ├── reconnect.clj │ │ ├── repl.clj │ │ ├── report.clj │ │ ├── role.clj │ │ ├── store/ │ │ │ ├── FileOffsetOutputStream.java │ │ │ ├── FressianReader.java │ │ │ ├── format.clj │ │ │ └── fressian.clj │ │ ├── store.clj │ │ ├── tests/ │ │ │ ├── adya.clj │ │ │ ├── bank.clj │ │ │ ├── causal.clj │ │ │ ├── causal_reverse.clj │ │ │ ├── cycle/ │ │ │ │ ├── append.clj │ │ │ │ └── wr.clj │ │ │ ├── cycle.clj │ │ │ ├── kafka.clj │ │ │ ├── linearizable_register.clj │ │ │ └── long_fork.clj │ │ ├── tests.clj │ │ ├── util.clj │ │ └── web.clj │ └── test/ │ └── jepsen/ │ ├── checker/ │ │ └── timeline_test.clj │ ├── checker_test.clj │ ├── cli_test.clj │ ├── common_test.clj │ ├── control/ │ │ ├── net_test.clj │ │ └── util_test.clj │ ├── control_test.clj │ ├── core_test.clj │ ├── db/ │ │ └── watchdog_test.clj │ ├── db_test.clj │ ├── fs_cache_test.clj │ ├── generator/ │ │ └── interpreter_test.clj │ ├── generator_test.clj │ ├── independent_test.clj │ ├── lazyfs_test.clj │ ├── nemesis/ │ │ ├── combined_test.clj │ │ ├── file_test.clj │ │ └── time_test.clj │ ├── nemesis_test.clj │ ├── perf_test.clj │ ├── print_test.clj │ ├── role_test.clj │ ├── store/ │ │ └── format_test.clj │ ├── store_test.clj │ ├── tests/ │ │ ├── causal_reverse_test.clj │ │ ├── kafka_test.clj │ │ └── long_fork_test.clj │ └── util_test.clj └── txn/ ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── doc/ │ └── intro.md ├── project.clj ├── src/ │ └── jepsen/ │ ├── txn/ │ │ └── micro_op.clj │ └── txn.clj └── test/ └── jepsen/ └── txn_test.clj