10436c2adSjeremylt /// @file
20436c2adSjeremylt /// Test CeedVectorGetArray state counter
30436c2adSjeremylt /// \test Test CeedVectorGetArray state counter
4b0976d5aSZach Atkins
5*f85e4a7bSJeremy L Thompson //TESTARGS(name="length 10",only="cpu") {ceed_resource} 10
6*f85e4a7bSJeremy L Thompson //TESTARGS(name="length 0",only="cpu") {ceed_resource} 0
70436c2adSjeremylt #include <ceed.h>
8b0976d5aSZach Atkins #include <stdlib.h>
90436c2adSjeremylt
main(int argc,char ** argv)100436c2adSjeremylt int main(int argc, char **argv) {
110436c2adSjeremylt Ceed ceed;
120436c2adSjeremylt CeedVector x;
134fee36f0SJeremy L Thompson CeedInt len = 10;
144fee36f0SJeremy L Thompson CeedScalar *a, b[len];
150436c2adSjeremylt
160436c2adSjeremylt CeedInit(argv[1], &ceed);
17b0976d5aSZach Atkins len = argc > 2 ? atoi(argv[2]) : len;
180436c2adSjeremylt
194fee36f0SJeremy L Thompson CeedVectorCreate(ceed, len, &x);
209c774eddSJeremy L Thompson CeedVectorSetValue(x, 0.0);
210436c2adSjeremylt
220436c2adSjeremylt // Two write accesses should generate an error
230436c2adSjeremylt CeedVectorGetArray(x, CEED_MEM_HOST, &a);
240436c2adSjeremylt CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, b);
250436c2adSjeremylt
260436c2adSjeremylt // LCOV_EXCL_START
270436c2adSjeremylt CeedVectorRestoreArray(x, &a);
280436c2adSjeremylt
290436c2adSjeremylt CeedVectorDestroy(&x);
300436c2adSjeremylt CeedDestroy(&ceed);
310436c2adSjeremylt return 0;
320436c2adSjeremylt // LCOV_EXCL_STOP
330436c2adSjeremylt }
34