Project

General

Profile

Actions
Copy link

Bug #5325

open

Is it because of not supporting pointers?

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

Status:
New
Priority:
Normal
Assignee:
Antti Hyvärinen
Start date:
16/06/2017
Due date:
% Done:

0%

Estimated time:

Description

bitvector-regression/pointer_extension_true-unreach-call.c

HiFroG: SAT

CBMC: UNSAT

Actions
Copy link

Also available in: Atom PDF