Ltl eventually violation is not a supported state in this logic

[yunuskilicdev]

When I use eventually Ltl , an error occurs like violation is not a supported state in this logic. But there is not any resources how to use eventually. How can we handle eventually our projects?