/Horae

A framework for parallel or distributed program easy to case recurrent and correctness verification

MIT LicenseMIT

Horae

A c++ framework for parallel or distributed program, especially synchronous code block to

  • Execute in specified order (for test purpose)
  • Auto test in order of permutations to verify the concurrency correctness