10436c2adSjeremylt /// @file
20436c2adSjeremylt /// Test CeedVectorGetArrayRead state counter
30436c2adSjeremylt /// \test Test CeedVectorGetArrayRead 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)80436c2adSjeremylt int main(int argc, char **argv) {
90436c2adSjeremylt Ceed ceed;
100436c2adSjeremylt CeedVector x;
114fee36f0SJeremy L Thompson CeedInt len = 10;
120436c2adSjeremylt
130436c2adSjeremylt CeedInit(argv[1], &ceed);
140436c2adSjeremylt
154fee36f0SJeremy L Thompson CeedVectorCreate(ceed, len, &x);
169c774eddSJeremy L Thompson CeedVectorSetValue(x, 0.0);
170436c2adSjeremylt
180436c2adSjeremylt // Two read accesses should not generate an error
194fee36f0SJeremy L Thompson {
204fee36f0SJeremy L Thompson const CeedScalar *a, *b;
214fee36f0SJeremy L Thompson
220436c2adSjeremylt CeedVectorGetArrayRead(x, CEED_MEM_HOST, &a);
230436c2adSjeremylt CeedVectorGetArrayRead(x, CEED_MEM_HOST, &b);
240436c2adSjeremylt
250436c2adSjeremylt CeedVectorRestoreArrayRead(x, &a);
260436c2adSjeremylt CeedVectorRestoreArrayRead(x, &b);
274fee36f0SJeremy L Thompson }
280436c2adSjeremylt
290436c2adSjeremylt CeedVectorDestroy(&x);
300436c2adSjeremylt CeedDestroy(&ceed);
310436c2adSjeremylt return 0;
320436c2adSjeremylt }
33