Verify evaluated state in inline specs