Verification of tmp