10 static CeedScalar expected_usage(CeedSize length) { return length * sizeof(CeedScalar) * 1e-6; }  in expected_usage()
14   CeedVector x, y, z;  in main()  local
21   CeedGetWorkVector(ceed, 20, &y);  in main()
26 …if (fabs(usage_mb - expected_usage(60)) > 100. * CEED_EPSILON) printf("Wrong usage: %0.8g MB != %0…  in main()
33   //  - Remove x  in main()
34   //  - Leave y, since it is still in use  in main()
35   //  - Leave z, since it is length 30  in main()
38 …if (fabs(usage_mb - expected_usage(50)) > 100. * CEED_EPSILON) printf("Wrong usage: %0.8g MB != %0…  in main()
41   //  - Leave y, since it is still in use  in main()
42   //  - Remove z  in main()
45 …if (fabs(usage_mb - expected_usage(20)) > 100. * CEED_EPSILON) printf("Wrong usage: %0.8g MB != %0…  in main()
47   // Restore y  in main()
48   CeedRestoreWorkVector(ceed, &y);  in main()
50   // Make sure we can still get back y without allocating a new work vector  in main()
51   CeedGetWorkVector(ceed, 20, &y);  in main()
53 …if (fabs(usage_mb - expected_usage(20)) > 100. * CEED_EPSILON) printf("Wrong usage: %0.8g MB != %0…  in main()
54   CeedRestoreWorkVector(ceed, &y);  in main()