Skip to content

Some fast math results cannot be practically compared #809

Open
Open
Some fast math results cannot be practically compared#809
Labels
T-CBMCIssue related to an existing CBMC issue[E] PerformanceTrack performance improvement (Time / Memory / CPU)
@adpaco

Description

@adpaco
adpaco
opened on Feb 8, 2022

In #804 we added support for fast math intrinsics but in the positive test cases for multiplication and division we could not compare the results with regular multiplication/division due to poor CBMC performance.

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-CBMCIssue related to an existing CBMC issue[E] PerformanceTrack performance improvement (Time / Memory / CPU)

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions