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

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