Hi @NicoloStrozzi
It is correct, according to the reference manual "Chapter 23.3.1 IRQEDG and IRQMOD" can only be programmed rising or falling edge. Other methods depends on your code, your board has a FlexTimer Module (FTM chapter 26), which counts with an input capture and it could help you to detect both edges, you can find input capture examples on your board SDK.
Let me know if you have any other question.
Best Regards, Miguel.