The EVM might be turing-complete but since you can only get finite number of execution cycles, you can usually determine the behaviour of your program or if it

The EVM might be turing-complete but since you can only get finite number of execution cycles, you can usually determine the behaviour of your program or if it halts within the current gas limits.