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: ""

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