What happens
Hi, i was trying to upload my branch (The commit was written in Ada) but in the pipeline of Spark solution this failed (https://gitlab.com/autonomicjump/challenges/-/jobs/3220426367)
What do you understand or find about that problem
I really don’t know about this, in my local everything is working. I’m using the recommended compiler by AdaCore which is gprbuild (Imperative language — learn.adacore.com)
Did you try any workaround? What did you do?
I try with the SPAR_Mode option also with changing the compiler but nothing works
Evidences
Compiling succesful in my local:
Executing the result
Recommended compiler by AdaCore:
My code:
-- $ gprbuild dth113.adb
-- using project file /usr/share/gpr/_default.gpr
-- Compile
-- [Ada] dth113.adb
-- Bind
-- [gprbind] dth113.bexch
-- [Ada] dth113.ali
-- Link
-- [link] dth113.adb
with Ada.Text_IO; use Ada.Text_IO;
procedure dth113 with
SPARK_Mode => ON
is
function String_Reverse (Str : String) return String is
Result : String (Str'Range);
begin
if Str'Length = 1 then
Result := Str;
else
Result :=
String_Reverse (Str (Str'First + 1 .. Str'Last)) & Str (Str'First);
end if;
return Result;
end String_Reverse;
begin
Put (String_Reverse (Get_Line));
end dth113;
-- cat DATA.lst | ./dth113
-- peek tnecsednacni sutcac yats nrut kcip eraf dna no tuoba
I need help with
I need help to pass the pipeline check, what can i do? Change the compiler again? Modifying my code?