start alloy

vcs

//sig Revision {}

sig Repository {
  file: set File
}

sig Local {
  file: set File
}

sig Path {}

sig Content {}

sig File {
  path: Path,
  content: Content
}

fact {
  all l: Local |
    all disj f1, f2: l.file |
      not (f1.path = f2.path)
}

run {}

pred commit (rep, rep': Repository, l: Local, f: File) {
  f in l.file
  rep'.file = rep.file ++ f
}

run commit for 5 but 5 Repository