Bonjour,
Je vois 2 causes possibles à votre problème:
1. La méthode utilisée pour créer votre raccord toit / mur : il est possible que le votre mur soit coupé par un "void" (ouverture / vide) qui ne s'exporte pas correctement, la relation est alors incomplète et la découpe ne se fait pas.
Vous pouvez vérifier la relation entre éléments dans les propriétés IFC
2. La géométrie résultant est un "BREP" mais l'export est réglé sur solide / extrudé.
BREP: représentation des limites
Il existe peut-être d'autres sources à votre problème mais ce sont les 2 plus fréquentes.
Vous devriez pouvoir gérer cela dans vos options d'export.