Added array analysis (computes paths used to add elements/tuples to sets/relations.

[repair.git] / Repair / RepairCompiler / MCC / test.constraints

[forall u in UsedInode], u.inodestatus=literal(Used);
[],sizeof(RootDirectoryInode)=1;