rv_core_ibex_isa_test.c

// Copyright lowRISC contributors (OpenTitan project).
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
 
#include <stdbool.h>
#include <stdint.h>
 
#include "sw/device/lib/testing/test_framework/ottf_test_config.h"
OTTF_DEFINE_TEST_CONFIG();