a4lg

set arch riscv:rv64
define hook-quit
    set confirm off
end
target extended-remote localhost:3333

a4lg

// If `unsafe` and `nightly` are enabled, enable unstable `core_intrinsics` feature
// with #![feature(core_intrinsics)] (Nightly only).

macro_rules! invariant {
    ($expr: expr) => {
        cfg_if::cfg_if! {
            if #[cfg(all(feature = "unsafe", feature = "nightly"))] {
                core::intrinsics::assume($expr);
            }
            else if #[cfg(feature = "unsafe")] {

a4lg

# Copyright (C) 1997-2019, 2020 Free Software Foundation, Inc.
#
# This file is part of DejaGnu. For RISC-V target simulation.
#
# DejaGnu is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 2 of the License, or
# (at your option) any later version.
#
# DejaGnu is distributed in the hope that it will be useful, but

a4lg

#! /bin/env python3
# SPDX-License-Identifier: MIT
# SPDX-FileCopyrightText: Copyright (C) 2025 Tsukasa OI <[email protected]>.

import sys
import z3

VARS: dict[str, list[list[any]]] = {}
N_ITERS = 1