Pinocchio ne dispose pas de fonctions d'aide pour les valider dans la dernière version ou dans n'importe quelle version. Puisque vous avez mentionné que vous faisiez cela pour blueshift, ils les implémentent également manuellement.