2 Why We Need Model-Based Testing

176 Modeling Systems with Structured State
}
public static int FileVersion(string file)
{
Sequence revisions;
return (db.TryGetValue(file, out revisions) ?
revisions.Head.revisionNumber : -1);
}
The FileExists method checks whether a given file is in the repository, and if
so, whether the last operation for that file was Add or Change.
partial static class Repository
{
public static bool FileExists(string file, int version)
{
Sequence revisions;
if (db.TryGetValue(file, out revisions))
foreach (Revision r in revisions)
if (r.revisionNumber