You've already forked Compile_And_Prove_Demo
mirror of
https://github.com/AdaCore/Compile_And_Prove_Demo.git
synced 2026-02-12 12:45:02 -08:00
10 lines
265 B
Ada
10 lines
265 B
Ada
package Strings is
|
|
|
|
subtype Str is String
|
|
with Predicate => Str'First = 1 and Str'Last < 10_000;
|
|
|
|
function Longest_Common_Prefix (X, Y : Str) return Natural with
|
|
Post => (for all J in 1 .. Longest_Common_Prefix'Result => X(J) = Y(J));
|
|
|
|
end Strings;
|