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.

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

Switch to ConcurrentHashMap in SeqClassHierarchyFactory #1379

Merged
merged 1 commit into from
Mar 21, 2024

Conversation

msridhar
Copy link
Member

I believe this should address #1377. See 74b6c74. For some reason at that point we decided not to use the type system to enforce use of a ConcurrentHashMap always. In this spirit of trying not to break things I didn't do that here, but instead changed SeqClassHierarchyFactory to use ConcurrentHashMap.

Fixes #1377 (though we can reopen if the crash still happens)

Copy link

Test Results

  572 files  ±0    572 suites  ±0   3h 27m 15s ⏱️ + 9m 42s
  734 tests ±0    717 ✅ ±0  17 💤 ±0  0 ❌ ±0 
3 554 runs  ±0  3 467 ✅ ±0  87 💤 ±0  0 ❌ ±0 

Results for commit f3d8ea5. ± Comparison against base commit 45fa20f.

@msridhar msridhar enabled auto-merge (squash) March 21, 2024 16:59
@msridhar msridhar merged commit 8a8f874 into wala:master Mar 21, 2024
10 checks passed
@msridhar msridhar deleted the issue-1377 branch March 21, 2024 17:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants