<commit_before>---

Copyright 2013 Mentor Graphics Corp.  All Rights Reserved.

---

# Fix DLLs and SOs not being unloaded when Verifier session is terminated
### xtUML Project Design Note

1. Abstract
-----------
A customer reports that native libraries loaded by user provided realized code
are not being unloaded when Verifier terminates. This note describes changes
to improve behavior in this situation.

2. Document References
----------------------
[1] dts0100992921 - DLLs and SOs are not unloaded when Verifier session is
    terminated
[2] https://github.com/xtuml/internal/issues/62
<commit_msg>Minor cosmetic change.<commit_after>---

Copyright 2013 Mentor Graphics Corp.  All Rights Reserved.

---

# Fix DLLs and SOs not being unloaded when Verifier session is terminated
### xtUML Project Design Note

1. Abstract
-----------
A customer reports that native libraries loaded by user provided realized code
are not being unloaded when Verifier terminates. This note describes changes
to improve behavior in this situation.

2. Document References
----------------------
[1] dts0100992921 - DLLs and SOs are not unloaded when Verifier session is
    terminated

[2] https://github.com/xtuml/internal/issues/62

{'fraction_non_alphanumeric': 0.1072013093289689, 'fraction_numerical': 0.03273322422258593, 'mean_word_length': 3.202749140893471, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3517056', 'n_tokens_mistral': 352, 'n_tokens_neox': 314, 'n_words': 150}