Searched refs:array_log (Results 1 – 1 of 1) sorted by relevance
164 ArrayLog& array_log = array_logs_[array]; in RecordWriteArray() local165 array_log.LogValue(index, value); in RecordWriteArray()