// -*- mode: C++; c-file-style: "cc-mode" -*-
//*************************************************************************
//
// This file ONLY is placed under the Creative Commons Public Domain.
// SPDX-FileCopyrightText: 2023 Shupei Fan
// SPDX-License-Identifier: CC0-1.0
//
//*************************************************************************

#include "Vt_flag_lib_dpi__Dpi.h"
#include "svdpi.h"

#include <iostream>
void write_all_finished() { std::cout << "*-* All Finished *-*" << std::endl; }