Searching in tests/clocks/dff_one_clock