Skip to content

How do add flags to sync/copy?

What is the best way to add flags like threads/checkers to a sync/copy operation? Just use PyClone.addFlag()?