1*0436c2adSjeremylt /// @file 2*0436c2adSjeremylt /// Test CeedVectorDestroy state counter 3*0436c2adSjeremylt /// \test Test CeedVectorDestroy state counter 4*0436c2adSjeremylt #include <ceed.h> 5*0436c2adSjeremylt 6*0436c2adSjeremylt int main(int argc, char **argv) { 7*0436c2adSjeremylt Ceed ceed; 8*0436c2adSjeremylt CeedVector x; 9*0436c2adSjeremylt CeedInt n; 10*0436c2adSjeremylt CeedScalar *a; 11*0436c2adSjeremylt 12*0436c2adSjeremylt CeedInit(argv[1], &ceed); 13*0436c2adSjeremylt 14*0436c2adSjeremylt n = 10; 15*0436c2adSjeremylt CeedVectorCreate(ceed, n, &x); 16*0436c2adSjeremylt CeedVectorGetArray(x, CEED_MEM_HOST, &a); 17*0436c2adSjeremylt 18*0436c2adSjeremylt // Write access not restored should generate an error 19*0436c2adSjeremylt CeedVectorDestroy(&x); 20*0436c2adSjeremylt 21*0436c2adSjeremylt // LCOV_EXCL_START 22*0436c2adSjeremylt CeedDestroy(&ceed); 23*0436c2adSjeremylt return 0; 24*0436c2adSjeremylt // LCOV_EXCL_STOP 25*0436c2adSjeremylt } 26