Searching in tests/vtr/full-adder