10436c2adSjeremylt /// @file 20436c2adSjeremylt /// Test CeedVectorDestroy state counter 30436c2adSjeremylt /// \test Test CeedVectorDestroy state counter 4*f85e4a7bSJeremy L Thompson 5*f85e4a7bSJeremy L Thompson //TESTARGS(only="cpu") {ceed_resource} 60436c2adSjeremylt #include <ceed.h> 70436c2adSjeremylt main(int argc,char ** argv)80436c2adSjeremyltint main(int argc, char **argv) { 90436c2adSjeremylt Ceed ceed; 100436c2adSjeremylt CeedVector x; 114fee36f0SJeremy L Thompson CeedInt len = 10; 120436c2adSjeremylt CeedScalar *a; 130436c2adSjeremylt 140436c2adSjeremylt CeedInit(argv[1], &ceed); 150436c2adSjeremylt 164fee36f0SJeremy L Thompson CeedVectorCreate(ceed, len, &x); 179c774eddSJeremy L Thompson CeedVectorSetValue(x, 0.0); 180436c2adSjeremylt CeedVectorGetArray(x, CEED_MEM_HOST, &a); 190436c2adSjeremylt 200436c2adSjeremylt // Write access not restored should generate an error 210436c2adSjeremylt CeedVectorDestroy(&x); 220436c2adSjeremylt 230436c2adSjeremylt // LCOV_EXCL_START 240436c2adSjeremylt CeedDestroy(&ceed); 250436c2adSjeremylt return 0; 260436c2adSjeremylt // LCOV_EXCL_STOP 270436c2adSjeremylt } 28