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

foreach script_file [glob -nocomplain ascentlint.policy *.waiver] {
  source $script_file
}

analyze +define+ASIC_SYNTHESIS+SYNTHESIS -F [glob build/formal_0/sim-icarus/*.scr] -sv

elaborate $env(LINT_TOP)

report_policy -skip_empty_summary_status -compat -output lint.rpt NEW

exit