// Copyright Kani Contributors
// SPDX-License-Identifier: Apache-2.0 OR MIT
//! Implements the logic related to concrete playback

pub mod playback;
pub mod test_generator;