8   PetscDevice    device = NULL;  in main()  local
23   PetscCall(PetscDeviceCreate(PETSC_DEVICE_DEFAULT(), PETSC_DECIDE, &device));  in main()
24   PetscCall(AssertDeviceExists(device));  in main()
25   PetscCall(PetscDeviceDestroy(&device));  in main()
26   PetscCall(AssertDeviceDoesNotExist(device));  in main()
28   PetscCall(PetscDeviceDestroy(&device));  in main()
29   PetscCall(AssertDeviceDoesNotExist(device));  in main()
32   device = NULL;  in main()
34   PetscCall(PetscDeviceCreate(PETSC_DEVICE_DEFAULT(), PETSC_DECIDE, &device));  in main()
35   PetscCall(AssertDeviceExists(device));  in main()
37     PetscCall(PetscDeviceReference_Internal(device));  in main()
38     devices[i] = device;  in main()
40   PetscCall(AssertDeviceExists(device));  in main()
43     PetscCall(AssertDeviceExists(device));  in main()
46   PetscCall(PetscDeviceDestroy(&device));  in main()
47   PetscCall(AssertDeviceDoesNotExist(device));  in main()
50   device = NULL;  in main()
56     PetscCall(PetscDeviceContextGetDevice(dctx, &device));  in main()
58   PetscCall(AssertDeviceExists(device));  in main()
61     PetscCall(PetscDeviceReference_Internal(device));  in main()
62     devices[i] = device;  in main()
64   PetscCall(AssertDeviceExists(device));  in main()
67     PetscCall(AssertDeviceExists(device));  in main()