Skip to content
Snippets Groups Projects
Commit caac466a authored by Johannes Wilson's avatar Johannes Wilson
Browse files

fix outdated summary

parent 2e352f34
No related branches found
No related tags found
No related merge requests found
theory protD
begin
......@@ -67,11 +66,11 @@ summary of summaries:
analyzed: prot-D.spthy
runnable (exists-trace): verified (5 steps)
not_ow_i_agree (exists-trace): verified (8 steps)
runnable (exists-trace): verified (4 steps)
not_ow_i_agree (exists-trace): verified (7 steps)
ni_agree (all-traces): verified (5 steps)
==============================================================================
*/
end
\ No newline at end of file
end
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment