Translate from Portuguse to English: codigo -> code

[lucasccordeiro]

State 1 file codigo.py line 3 column 0 thread 0

Violated property:
file codigo.py line 3 column 0
assertion
tmp$3