RemoteProcess& get_remote_simulation() { return *remote_process_; }
Channel& channel() { return checker_side_.get_channel(); }
RemoteProcess& get_remote_simulation() { return *remote_process_; }
Channel& channel() { return checker_side_.get_channel(); }