ksmt icon indicating copy to clipboard operation
ksmt copied to clipboard
verified publisher icon UnitTestBot

Thread safety

Open Saloed opened this issue 3 years ago • 1 comments

Prepare KSMT for use in a multi-threaded environment:

  • [x] Use concurrent data structures in KContext
  • [ ] Guard solver native APIs with locks

Saloed avatar Dec 13 '22 17:12 Saloed

Concurrent data structures is a very good point.

korifey avatar Dec 15 '22 03:12 korifey