1 comment

[ 0.15 ms ] story [ 10.7 ms ] thread
Just for fun, I’m experimenting with converting NumPy code to SymPy and applying concolic testing principles.