projects / repair.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
MCC files
[repair.git] / Repair / RepairCompiler / MCC / test.constraints
1
2 [forall u in UsedInode], u.inodestatus=literal(Used);
3 [],sizeof(RootDirectoryInode)=1;
Data structure repair