anchor.diff:        );
   
         expect(filtered.single, ephemeralOne);
  -      verify(mockDeviceDiscovery.devices).called(1);
  -      verify(mockDeviceDiscovery.discoverDevices(timeout: anyNamed('timeout'))).called(1);
  +      expect(deviceDiscovery.devicesCalled, 1);
  +      expect(deviceDiscovery.discoverDevicesCalled, 1);
       });
     });
   
     group('JSON encode devices', () {
  -    testUsingContext('Consistency of JSON representation', () async {
  +    testWithoutContext('Consistency of JSON representation', () async {
         expect(
           // This tests that fakeDevices is a list of tuples where "second" is the
           // correct JSON representation of the "first". Actual values are irrelevant
  
positive.code:         ephemeralTwo,
        ];
  
        final MockTerminal mockTerminal = MockTerminal();
  
        when(mockTerminal.stdinHasTerminal).thenReturn(true);
        when(mockTerminal.promptForCharInput(<String>['1', '2', 'q', 'Q'],
          displayAcceptedCharacters: false,
          logger: anyNamed('logger'),
          prompt: anyNamed('prompt'),
        )).thenAnswer((Invocation invocation) async => '1');
  
        final DeviceManager deviceManager = TestDeviceManager(
          devices,
          logger: BufferLogger.test(),
          terminal: mockTerminal,
        );
        final List<Device> filtered = await deviceManager.findTargetDevices(FakeFlutterProject());
  
  
negative.code:         nonEphemeralOne,
          nonEphemeralTwo,
        ];
        final FakeTerminal terminal = FakeTerminal()
          ..setPrompt(<String>['1', '2', 'q', 'Q'], '2');
  
        final DeviceManager deviceManager = TestDeviceManager(
          devices,
          logger: BufferLogger.test(),
          terminal: terminal,
        );
        final List<Device> filtered = await deviceManager.findTargetDevices(FakeFlutterProject());
  
  