Just for fun, I’m experimenting with converting NumPy code to SymPy and applying concolic testing principles.