// SPDX-License-Identifier: Apache-2.0

#include "libc.h"
#include "enarx.h"
#include <errno.h>

/* This test will be run only for SGX. It is designed to request a
 * Quote size from get_attestation() and check that against the expected
 * Quote size. */

int main(void) {
    int* nonce = NULL;
    int* buf = NULL;
    size_t technology;
    ssize_t expected = 4598;

    ssize_t size = get_att(nonce, sizeof(nonce), buf, sizeof(buf), &technology);

    /* this test is SGX-specific, so just return success if not running on SGX */
    if (technology != TEE_SGX)
        return 0;

    return (size != expected);
}