Skip to content
This repository has been archived by the owner on Aug 12, 2024. It is now read-only.

Issue 24: Build with ASAN and check leaks #35

Merged
merged 14 commits into from
Dec 7, 2021
Merged

Issue 24: Build with ASAN and check leaks #35

merged 14 commits into from
Dec 7, 2021

Conversation

jklmnn
Copy link
Member

@jklmnn jklmnn commented Dec 3, 2021 •
edited by senier
Loading

Closes #9
Closes #24

@jklmnn jklmnn requested a review from senier December 3, 2021 14:45
senier
senier suggested changes Dec 7, 2021
View reviewed changes
Makefile Outdated Show resolved Hide resolved
tests/z3-tests.adb Outdated Show resolved Hide resolved
tests/z3-tests.adb Show resolved Hide resolved
z3.ads Show resolved Hide resolved
@jklmnn jklmnn requested a review from senier December 7, 2021 12:32
senier
senier approved these changes Dec 7, 2021
View reviewed changes
Copy link
Member

@senier senier left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please don't forget to associate the PRs with their respective ticket(s).

@jklmnn jklmnn merged commit 1e676e2 into master Dec 7, 2021
@jklmnn jklmnn deleted the issue_24 branch December 7, 2021 13:45
jklmnn added a commit that referenced this pull request Dec 7, 2021
@jklmnn
Use Unused_T instead of pragma Unreferenced (T)
ea8b029 
ref #35
jklmnn added a commit that referenced this pull request Dec 7, 2021
@jklmnn
Consistently use gprbuild and gprclean
928ee72 
ref #35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@senier senier senier approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Build with ASAN and check leaks Proper reference counting
2 participants
@jklmnn @senier