A system for signal acquisition in a distance meter includes at least one photoelectric receiver that detects electromagnetic radiation that is high-frequency modulated via a modulation frequency and converts the same to high-frequency electrical signals. If the operation mode is executed while an image is being displayed by means of the projector, the corresponding information is displayed on the image display region, to thus effectively transfer the information about the execution of the operation mode to the user. Various embodiments for performing sub-pixel rendering on the sub-pixel groupings are disclosed. The multiplexer may produce a test data input to the sense amplifier latch that encodes a data value and a control value that causes the data value to be selected. Further, the method may include exploring, during the mixed execution, the one or more paths of the software function that correspond to the return value based on the symbolic value, as constrained by the abstraction, such that a number of the one or more paths explored during the symbolic execution is constrained by the abstraction.