10436c2adSjeremylt /// @file 20436c2adSjeremylt /// Test CeedVectorGetArray state counter 30436c2adSjeremylt /// \test Test CeedVectorGetArray state counter 40436c2adSjeremylt #include <ceed.h> 50436c2adSjeremylt 60436c2adSjeremylt int main(int argc, char **argv) { 70436c2adSjeremylt Ceed ceed; 80436c2adSjeremylt CeedVector x; 9*4fee36f0SJeremy L Thompson CeedInt len = 10; 100436c2adSjeremylt CeedScalar *a; 110436c2adSjeremylt const CeedScalar *b; 120436c2adSjeremylt 130436c2adSjeremylt CeedInit(argv[1], &ceed); 140436c2adSjeremylt 15*4fee36f0SJeremy L Thompson CeedVectorCreate(ceed, len, &x); 169c774eddSJeremy L Thompson CeedVectorSetValue(x, 0.0); 170436c2adSjeremylt 180436c2adSjeremylt // Write access followed by read access should generate an error 190436c2adSjeremylt CeedVectorGetArray(x, CEED_MEM_HOST, &a); 200436c2adSjeremylt CeedVectorGetArrayRead(x, CEED_MEM_HOST, &b); 210436c2adSjeremylt 220436c2adSjeremylt // LCOV_EXCL_START 230436c2adSjeremylt CeedVectorRestoreArray(x, &a); 240436c2adSjeremylt CeedVectorRestoreArrayRead(x, &b); 250436c2adSjeremylt 260436c2adSjeremylt CeedVectorDestroy(&x); 270436c2adSjeremylt CeedDestroy(&ceed); 280436c2adSjeremylt return 0; 290436c2adSjeremylt // LCOV_EXCL_STOP 300436c2adSjeremylt } 31