Commit 73f1f3be authored by Aart Bik's avatar Aart Bik
Browse files

Move loop invariant utility to more general place. 

Change-Id: I15ebfbf9684f0fcce9e63d078ff8dc1381fd1ca3
parent f7b7f998
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment