Skip to content
Snippets Groups Projects
Commit 8ef26e39 authored by Viktor Kuncak's avatar Viktor Kuncak
Browse files

Added a correctness property, which seems to have a longish counterexample,... 

Added a correctness property, which seems to have a longish counterexample, found by fairz3. Is there a simpler counterexample?
parent a66c7617
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment