Skip to content

powif64 intrinsic is not currently supported by Kani #2763

New issue
New issue
Closed
#2999
Closed
powif64 intrinsic is not currently supported by Kani#2763
#2999
Labels
T-CBMCIssue related to an existing CBMC issueT-UserTag user issues / requests[C] Feature / EnhancementA new feature request or enhancement to an existing feature.
@acgetchell

Description

@acgetchell
acgetchell
opened on Sep 14, 2023

Requested feature:

Support powif64.

Use case:

https://github.com/acgetchell/cdt-rs/blob/main/src/lib.rs#L161

Test case:

https://github.com/acgetchell/cdt-rs/actions/runs/6180157100/job/16776172095#step:3:4374

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-CBMCIssue related to an existing CBMC issueT-UserTag user issues / requests[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions