Skip to content

Fix case when numeric inference kicks out before minimal tautology inference - #894

Open
ChernikovP wants to merge 2 commits into
fthomas:masterfrom
ChernikovP:numeric_inference
Open

Fix case when numeric inference kicks out before minimal tautology inference#894
ChernikovP wants to merge 2 commits into
fthomas:masterfrom
ChernikovP:numeric_inference

Force numeric inference rules to use non-strict comparisons

3d1b04c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs