7   PetscDeviceContext dctx = NULL, ddup = NULL;  in main()  local
13   PetscCall(PetscDeviceContextCreate(&dctx));  in main()
14   PetscCall(AssertDeviceContextExists(dctx));  in main()
15   PetscCall(PetscDeviceContextDestroy(&dctx));  in main()
16   PetscCall(AssertDeviceContextDoesNotExist(dctx));  in main()
18   PetscCall(PetscDeviceContextDestroy(&dctx));  in main()
19   PetscCall(AssertDeviceContextDoesNotExist(dctx));  in main()
22   dctx = NULL;  in main()
23   PetscCall(PetscDeviceContextGetCurrentContext(&dctx));  in main()
24   PetscCall(AssertDeviceContextExists(dctx));  in main()
26   dctx = NULL;  in main()
27   PetscCall(PetscDeviceContextGetCurrentContext(&dctx));  in main()
28   PetscCall(AssertDeviceContextExists(dctx));  in main()
31   PetscCall(PetscDeviceContextDuplicate(dctx, &ddup));  in main()
33   PetscCall(AssertDeviceContextExists(dctx));  in main()
39   PetscCall(AssertDeviceContextExists(dctx));  in main()