Specification Statistics
Date Created2022-05-24 22:49:19
Old Source Root/scratch/users/daholme/mr4/jni-base
New Source Root/scratch/users/daholme/mr4/jni-final
Processed Packages0
 ChangedAddedRemovedUnchangedTotal
Documents10001
Contexts10001
Specification Detail
(*) Columns: (1) - Changed, (2) - Added, (3) - Removed, ∑ - Total
DocumentContexts
ModifiedUnchangedTotal
123
functions1101
Total100101