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
-
Notifications
You must be signed in to change notification settings - Fork 0
A framework for parallel or distributed program easy to case recurrent and correctness verification
License
dusteye/Horae
About
A framework for parallel or distributed program easy to case recurrent and correctness verification
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published