stackotter @stackotter.dev · May 23 Made a prototype of a Swift formal verification system a little while ago and never got around to sharing it! Here's it finding a 'bug' in my questionable xkcd random implementation 😅
6 likes 1 replies
?
Replies
It uses SourceKitD to get accurate type information, and Z3 to solve constraints. So far it only supports `Int` and `Bool` to keep things scoped, but it's still fun to mess with! It's not on GitHub yet because it needs some love and a name, but if there's enough interest I can try polish it off.