Commit 6832cae8 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Implement the first skeleton of the model checker in Ada

parent a5116975
......@@ -24,7 +24,7 @@ procedure test is
errno: Natural := 0;
begin
if check(errno) then
put_line("Property " & errno'img & " is not verified");
put_line("Property " & errno'img & " is not verified, at step " & count'img);
end if;
end;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment