# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

# get installation path of ascentlint
set RI_INSTALL [file dirname [exec which ascentlint]]

# source the policy file containing the lowrisc lint rules
source "$RI_INSTALL/../Ascent/Lint/lib/policies/lowRISC/LRLR-v1.0.policy"

# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

# get installation path of ascentlint
set RI_INSTALL [file dirname [exec which ascentlint]]

# source the policy file containing the lowrisc lint rules
source "$RI_INSTALL/../Ascent/Lint/lib/policies/lowRISC/LRLR-v1.0.policy"

# increase this from 8k (default) to 32k such that large arrays like
# regfiles can be analyzed and linted.
set ri_max_total_range_bits 32768
set ri_max_single_range_bits 32768


Increase threshold for max number of bits in an array
[lint] Increase threshold for max number of bits in an array

We have large regfiles in our design that have a size of 8kbit or more,
such as the OTBN regfile.

This commit increases the AscentLint-internal threshold for analyzing
such large arrays to 32kbit in order to get the affected designs lint clean.

Signed-off-by: Michael Schaffner <a005a2d3342a687ea2d05360c953107acbe83e08@google.com>
