Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Bug finding] Track memory usage and enforce memory limit #730

Merged
merged 3 commits into from
May 20, 2024
Merged

[Bug finding] Track memory usage and enforce memory limit #730

merged 3 commits into from
May 20, 2024
+56 −18

Conversation

aman-goel
Copy link
Contributor

Updates include:

[C# checker]

  • Adds tracking memory usage.
  • Adds enforcing memory limit using the --memout CLI option.

[CLI]

  • Unhides option -m/--memout to specify memory limit in GB (default is 0 i.e., no limit)

@aman-goel aman-goel requested a review from ankushdesai May 20, 2024 22:40
aman-goel added 3 commits May 20, 2024 15:40
@aman-goel
[C# backend] Enforce memory limit
7306b5c 
Track memory usage and enforce memory limit using CLI option --memout <double>
@aman-goel
Minor cleanup
5634d84
@aman-goel
[C#] Minor: correct handling of default memout
891230b
@aman-goel aman-goel marked this pull request as ready for review May 20, 2024 22:40
@aman-goel aman-goel merged commit 836e51c into master May 20, 2024
14 checks passed
@aman-goel aman-goel deleted the dev/memout branch May 20, 2024 23:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ankushdesai ankushdesai ankushdesai 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.
2 participants
@aman-goel @ankushdesai