<commit_before>---

Copyright 2013 Mentor Graphics Corp.  All Rights Reserved.

---

# Fix DLLs and SOs not being unloaded when Verifier session is terminated
### xtUML Project Implementation 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] git:internal\doc-internal\notes\dts0100919690\dts0100992921.dnt.md

[2] git issue #46 - Parser includes enclosing single quotes in text phrases.

3. Background
-------------
See [1].

4. Requirements
---------------
See [1].

5. Work Required
----------------
See [1].

6. Implementation Comments
--------------------------
None.<commit_msg>Correct git issue reference.<commit_after>---

Copyright 2013 Mentor Graphics Corp.  All Rights Reserved.

---

# Fix DLLs and SOs not being unloaded when Verifier session is terminated
### xtUML Project Implementation 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] git:internal\doc-internal\notes\dts0100919690\dts0100992921.dnt.md

[2] git issue #62 - dts0100992921 - DLLs and SOs are not unloaded when
    Verifier session is terminated.

3. Background
-------------
See [1].

4. Requirements
---------------
See [1].

5. Work Required
----------------
See [1].

6. Implementation Comments
--------------------------
None.
{'fraction_non_alphanumeric': 0.18280216476247746, 'fraction_numerical': 0.050511124473842456, 'mean_word_length': 2.3346693386773545, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, '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': '4038839', 'n_tokens_mistral': 495, 'n_tokens_neox': 432, 'n_words': 186}