tree 95dd313024ae37dc3e2b5ffdd3e249bb32089858
parent df800024e211dec2d390bec13f79ef4e75d12245
author Vsevolod Tolstopyatov <qwwdfsad@gmail.com> 1532511383 +0300
committer Roman Elizarov <elizarov@gmail.com> 1532516236 +0300

Fix linearizability in AbstractChannel#sendSuspend, add infrastructure to inject custom execution into linearizability checker