Optimized assertions of equalities

[dewert99]

No description provided.

[codspeed-hq]

CodSpeed Performance Report

Merging #89 will degrade performances by 78.52%

_{Comparing assert-eq-opt (a23a3ae) with main (76ca061)}

Summary

⚡ 6 improvements
❌ 1 (👁 1) regressions
✅ 80 untouched benchmarks

Benchmarks breakdown

	Benchmark	main	assert-eq-opt	Change
⚡	benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_min_max.smt2	147.2 ms	125.9 ms	+16.94%
⚡	benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_lifts.8.prop1_ab_min_max.smt2	56.5 ms	51.2 ms	+10.37%
⚡	benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_plc.4.prop2_ab_core_max.smt2	169.2 ms	153.5 ms	+10.21%
⚡	benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_pouring.1.prop1_ab_min_max.smt2	1,113.3 ms	961.7 ms	+15.76%
⚡	benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_rushhour.2.prop1_ab_min_max.smt2	1,000 ms	299 ms	×3.3
👁	benches/starexec/incremental/QF_UF/2018-Goel-hwbench/QF_UF_sokoban.3.prop1_ab_min_max.smt2	209.4 ms	974.5 ms	-78.52%
⚡	benches/starexec/non-incremental/QF_UF/2018-Goel-hwbench/QF_UF_frogs.3.prop1_ab_br_max.smt2	1,151.8 ms	591.9 ms	+94.59%

[dewert99]

/fast-forward