mk
Create Fp equality comparison (fp.eq) expression. Checks arguments equality using IEEE 754-2008 rules.
See also
for smt equality.
Create Fp equality comparison (fp.eq) expression. Checks arguments equality using IEEE 754-2008 rules.
for smt equality.