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
Compiling succesful in my local:
Executing the result
Recommended compiler by AdaCore:
-- $ 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?