Skip to content

Replace String.string_dec by String.eqb in Dexter 2

Guillaume Claret requested to merge guillaume-claret@dexter_fa12lqt-verification-string-eqb into dexter_fa12lqt-verification

Replace String.string_dec by String.eqb. Probably not "THE" solution to performance issue, but should help as this function was only used in if.

Edited by Arvid Jakobsson

Merge request reports