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

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