Project

General

Profile

Bug #5325

Is it because of not supporting pointers?

Added by Sepideh Asadi over 2 years ago. Updated over 2 years ago.

Status:
New
Priority:
Normal
Start date:
16/06/2017
Due date:
% Done:

0%

Estimated time:

Description

bitvector-regression/pointer_extension_true-unreach-call.c

HiFroG: SAT

CBMC: UNSAT

History

#1 Updated by Karine Even Mendoza over 2 years ago

  • Assignee set to Antti Hyv√§rinen

byte_extract_little_endian

Antti, can you think of a way to support it? (to BB it)

Also available in: Atom PDF