duckdb

Jepsen DuckDB テスト DucKDBデータベース向けのJepsenテストです。リモートクラスタではなくローカルで実行されます。テストはローカルのDuckDBファイルを開く一連のローカルプロセスを生成し、STDIN/STDOUTを介してそれらと対話します。 これは初期のプロトタイプです。起動してトランザクションを実行し、正しさをチェックしてバグを報告しますが、それらのバグが本物かどうかは確かではありません。 インストール...