-
Clément Fumex authored
To do so, add "overriding" keyword in front of "syntax" in the driver file as in, e.g., overriding syntax function to_uint "(bv2int %1)" One can only have one overriding for a specific function/type.
6b90ebf2
Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.
To do so, add "overriding" keyword in front of "syntax" in the driver file as in, e.g., overriding syntax function to_uint "(bv2int %1)" One can only have one overriding for a specific function/type.