# This file is generated by edalize.

{% for waiver_file in waiver_files %}
source {{ waiver_file.name }}
{% endfor %}

{% for tcl_source_file in tcl_source_files %}
source {{ tcl_source_file.name }}
{% endfor %}

analyze -f sources.f
elaborate {% if vlogparam -%}
-params { {% for k, v in vlogparam.items() %}{ {{ k }} {{ v|param_value_str(str_quote_style = '"') }} } {% endfor -%} }
{%- endif%} {{ toplevel }}
report_policy -skip_empty_summary_status -compat -output ascentlint.rpt NEW
exit
