List view

Unsupported tests for foreign items

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Open.

#73 In model-checking/kani;

· adpaco-aws opened on Apr 16, 2021

Add support for inline ASM

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

[E] Unsupported ConstructAdd support to an unsupported constructAdd support to an unsupported construct

Status: Open.

#2 In model-checking/kani;

· danielsn opened on Mar 29, 2021