Introduce canon instruction (#292)

This commit is contained in:
Mike Voronov
2022-08-26 00:43:43 +03:00
committed by GitHub
parent 5c7e88e0f2
commit 5072fba9d6
84 changed files with 4317 additions and 1566 deletions

View File

@ -106,7 +106,7 @@ impl TraceSlider {
self.subtrace_len - self.seen_elements
}
pub(super) fn state_at_position(&self, position: TracePos) -> Option<&ExecutedState> {
pub(crate) fn state_at_position(&self, position: TracePos) -> Option<&ExecutedState> {
// it would be nice to have the `impl SliceIndex for TracePos`, but it is unstable
self.trace.get(position)
}