Weird sort algorithm: verification using KLEE

... that is popular today.

I once proved its correctness using KLEE, in 2018.

List of my other blog posts.

Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.