dusteye / Horae

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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

License:MIT License