=== 1. control: stock libprop userland once (pthread_once) ===
SURVIVED: both singletons typed, values correct, identity held (8 threads)
--- control run1 exit=0
SURVIVED: both singletons typed, values correct, identity held (8 threads)
--- control run2 exit=0
SURVIVED: both singletons typed, values correct, identity held (8 threads)
--- control run3 exit=0
SURVIVED: both singletons typed, values correct, identity held (8 threads)
--- control run4 exit=0
SURVIVED: both singletons typed, values correct, identity held (8 threads)
--- control run5 exit=0

=== 2. kernel-macro semantics, state A (PROP_WIDEN_MS=50) ===
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
Abort trap
--- ksem-A run1 exit=134
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
--- ksem-A run2 exit=134
Abort trap
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
--- ksem-A run3 exit=134
Abort trap (core dumped)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
Abort trap
--- ksem-A run4 exit=134
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993.
Abort trap (core dumped)
--- ksem-A run5 exit=134

=== 3. kernel-macro semantics, state B (PROP_WIDEN2_MS=50) ===
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
Abort trap (core dumped)
--- ksem-B run1 exit=134
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
Segmentation fault (core dumped)
--- ksem-B run2 exit=139
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
--- ksem-B run3 exit=139
Segmentation fault (core dumped)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
Assertion failed: (ocnt != 0), function prop_object_release, file prop_object.c, line 1085.
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
--- ksem-B run4 exit=134
Abort trap
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
VIOLATION[B:value=stale]: prop_bool_true(_prop_bool_true) == false (typed object, pb_value stale)
Segmentation fault (core dumped)
--- ksem-B run5 exit=139

=== 4. kernel-macro semantics, release flavor (PROP_WIDEN_MS=50) ===