hw/formal/tools/dvsim/common_fpv_cfg.hjson

// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
{
  sub_flow: fpv
  import_cfgs: ["{proj_root}/hw/formal/tools/dvsim/common_formal_cfg.hjson"]
  stopats: ""
  task: ""
  defines: ""

  // Optional vars that need to exported to the env
  exports: [
    {STOPATS: '{stopats}'},
    {TASK:    '{task}'},
    {FPV_DEFINES:  '{defines}'},
  ]
}