10436c2adSjeremylt /// @file
20436c2adSjeremylt /// Test CeedVectorGetArray state counter
30436c2adSjeremylt /// \test Test CeedVectorGetArray 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 CeedScalar *a;
130436c2adSjeremylt
140436c2adSjeremylt CeedInit(argv[1], &ceed);
150436c2adSjeremylt
164fee36f0SJeremy L Thompson CeedVectorCreate(ceed, len, &x);
179c774eddSJeremy L Thompson CeedVectorSetValue(x, 0.0);
180436c2adSjeremylt
190436c2adSjeremylt // Write access followed by set value should generate an error
200436c2adSjeremylt CeedVectorGetArray(x, CEED_MEM_HOST, &a);
210436c2adSjeremylt CeedVectorSetValue(x, 1.0);
220436c2adSjeremylt
230436c2adSjeremylt // LCOV_EXCL_START
240436c2adSjeremylt CeedVectorRestoreArray(x, &a);
250436c2adSjeremylt
260436c2adSjeremylt CeedVectorDestroy(&x);
270436c2adSjeremylt CeedDestroy(&ceed);
280436c2adSjeremylt return 0;
290436c2adSjeremylt // LCOV_EXCL_STOP
300436c2adSjeremylt }
31