[Scheduler] Add CLI flags for Model Checking
Model checking consists of 3 steps. For evaluation purposes, I need an easy way to run only one of the steps.
-
--disable-relation-check
: disables the check for r:w or w:w access on the same relation -
--disable-attribute-check
: disables the check for r:w or w:w access on the same attribute -
--disable-smt-check
: disables the SMT Solver that checks if the filter predicates of two transactions can be true at the same time.
Edited by Jonas Lauermann