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
 #1

Updated by Sepideh Asadi about 7 years ago

  • % Done changed from 0 to 100
Actions
Copy link
 #2

Updated by Sepideh Asadi about 7 years ago

  • Subject changed from in Lattice: supposed to be SAT, but the lattice gives UNSAT to .
  • Status changed from New to Closed
  • Priority changed from Normal to Low
  • % Done changed from 100 to 0
Actions
Copy link

Also available in: Atom PDF