load("//bazel/rules/cc:defs.bzl", "cc_binary")
load(":defs.bzl", "riscv_test_suite")

cc_binary(
    name = "risc0-simulate",
    srcs = ["risc0-simulate.cpp"],
    deps = ["//risc0/zkvm/prove"],
)

riscv_test_suite()