Which literary device is used in a story that includes a character saying That's great just after being splashed with mud?

This is an example of verbal irony, also known as sarcasm, which is when a character says something opposite of how they really feel.

You've probably done the same.