Assertion: destruction | /r/HasProperty | deterministic
Facets:
value: in this case
type: OTHER
Source sentences:
text: There are various subtleties; for example in C++, static local variables are deterministically created when their function is first called, but destruction is non-deterministic. ^
text: In this case both creation and destruction may be nondeterministic.