JunitQuest – Automatically generate (useless?) unit tests for Javagithub.com2 points·by leipavoi·7년 전·0 comments
Naivecoin: a tutorial for building a cryptocurrencylhartikk.github.io21 points·by leipavoi·9년 전·1 comments
leipavoi·8년 전·discussI think symbolic execution is quite an "academic subject".Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.
leipavoi·9년 전·discussCool project! Reminds me of Naivechain, a blockchain in 200 lines of codehttps://github.com/lhartikk/naivechain
Things could change as I think symbolic execution would very well fit when analyzing and verifying the correctness of smart contracts in blockchain.