anchor.diff:    }
   }
   
  -@visibleForTesting
   Future<OperationResult> test(
     String deviceName,
     FFX ffx,
  
positive.code:   return result;
  }
  
  @visibleForTesting
  Future<OperationResult> pave(
    String deviceName,
    FFX ffx,
  
negative.code:   );
  }
  
  Future<OperationResult> ssh(
    String deviceName,
    FFX ffx,
  