= Tests in this directory =

$ HOME=$PWD python3 basic_doctest.py -v
    do some basic tests of p≡p

    CAVEAT: set environment variable HOME to a test directory before executing
    this test

$ python3 sync_test.py
    start two processes representing two devices and do a sync test