We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
Commit: 1bdf66b OS: Ubuntu 22.04
[526] % z3san small.smt2 ================================================================= ==936431==ERROR: AddressSanitizer: heap-use-after-free on address 0x6040000084e0 at pc 0x55570726e6ba bp 0x7fff6048ffa0 sp 0x7fff6048ff90 READ of size 8 at 0x6040000084e0 thread T0 ... SUMMARY: AddressSanitizer: heap-use-after-free ../src/util/rlimit.cpp:90 in reslimit::pop_child() ... ==936431==ABORTING [527] % [527] % cat small.smt2 (set-option :sat.threads 2) (assert-soft false) (check-sat)
The text was updated successfully, but these errors were encountered:
e8e636c
No branches or pull requests
Commit: 1bdf66b
OS: Ubuntu 22.04
The text was updated successfully, but these errors were encountered: