Search results

Fix ssa_inlinert w.r.t. recursion

bug

kIkI

Status: Open.

#116 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Fix __CPROVER_template annotations

bug

enhancement

Status: Open.

#111 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Check tests marked KNOWNBUG

bug

task

Status: Open.

#104 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Dependent property assumptions conflict with k-induction assumptions

bug

kIkI

Status: Open.

#102 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Unwound SSA has incorrect guards for return from loop body

bug

kIkI

Status: Open.

#101 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Nontermination witnesses with too little information

bug

termination

Status: Open.

#100 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Wrong nontermination counterexamples

bug

termination

Status: Open.

#99 In diffblue/2ls;

· peterschrammel opened on Dec 30, 2017

Fix termination/global2 and interprocedural/contextsensitive5

bug

kIkI

Status: Open.

#91 In diffblue/2ls;

· peterschrammel opened on Nov 6, 2017

Bug in 2ls k-induction

bug

kIkI

Status: Open.

#85 In diffblue/2ls;

· rajdeep87 opened on May 20, 2017

A bug in 2ls?

bug

kIkI

Status: Open.

#81 In diffblue/2ls;

· theyoucheng opened on Apr 13, 2017

passing struct as argument to function in acdl

ACDL

bug

Status: Open.

#79 In diffblue/2ls;

· rajdeep87 opened on Mar 9, 2017

Unit-ness check for learnt clause

ACDL

bug

Status: Open.

#77 In diffblue/2ls;

· rajdeep87 opened on Mar 1, 2017