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

if {[info exists ::env(WAVES)]} {
  if {$::env(WAVES) == 1} {
    database -open -default -shm $::env(DUMP_FILE)
    probe -all -depth all -shm
  }
}

run
quit