--
--  Copyright (C) 2022-2025, AdaCore
--
--  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
--

--  This unit is meant to replace SPARK for internal testing only

package SPARK with SPARK_Mode, Pure is

   procedure Check_Or_Fail is null;

end SPARK;
