Commands

git clone --recursive https://github.com/divergentdave/alice-sled.git
cd alice-sled
./setup.sh

./run_workload.sh basic
./run_checker.sh basic

./run_workload.sh insert_loop 20
./run_checker.sh insert_loop

./run_workload.sh insert_loop 20 --crash
./run_checker.sh insert_loop

./run_workload.sh batches 5
./run_checker.sh batches

./run_workload.sh batches 5 --crash
./run_checker.sh batches

./run_workload.sh random_ops 40
./run_checker.sh random_ops

./run_workload.sh random_ops 40 --crash --flusher
./run_checker.sh random_ops

# (requires installation of https://github.com/sambayless/monosat first)
./run_workload.sh transactions
./run_checker.sh transactions