[Scheduler] Create Executable for Parallel Transaction Execution
mutable currently does not support multiple clients but this is required to properly evaluate the ModelCheckingScheduler
.
I want to add an executable that takes a file (most likely multiple .sql files) that defines multiple transactions and schedules them in parallel.
Edited by Jonas Lauermann