Project

General

Profile

Actions
Copy link

Bug #5549

closed

Bug #5548: in Lattice: supposed to be SAT, but the lattice gives

.

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

Status:
Closed
Priority:
Low
Assignee:
-
Start date:
29/09/2017
Due date:
% Done:

0%

Estimated time:

Description

/hifrog --load-sum-model modlattice_model_lra --logic qflra --load-summaries __summaries_simple_mod_lra --no-itp --unwind 2 --claim 1 ../benchmarks/sanfoundry_24_false-valid-deref.c

Actions
Copy link

Also available in: Atom PDF