Implementation of a (buggy) linked list in solidity with Kontrol tests to prove correctness properties about the implementation - View it on GitHub