Abort trap (core dumped)
Abort trap (core dumped)
Abort trap (core dumped)
realistic-window run2 tally: survived=296 violations=1 signals=3 (of 300)
== /tmp/fail5693.165.err ==
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.
== /tmp/fail5693.234.err ==
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.
== /tmp/fail5693.287.err ==
Assertion failed: (ncnt != 0), function prop_object_retain, file prop_object.c, line 993.
== /tmp/fail5693.291.err ==
VIOLATION[A:po_type=NULL]: prop_bool_true(_prop_bool_true) == false (guard failed: po_type not yet stored)
FAILED: singleton init invariant broken