Add ownership fraction to array assertion

Merged Tej Chajed requested to merge tchajed/iris-coq:array-fraction into master

Merge request reports