Skip to content
This repository has been archived by the owner on Apr 4, 2019. It is now read-only.

Latest commit

 

History

History
13 lines (9 loc) · 875 Bytes

interesting_benchmarks.md

File metadata and controls

13 lines (9 loc) · 875 Bytes
Raw

List of interesting tests

This document contains all the interesting, weird, suspicious and others benchmarks in context SymDIVINE.

SV-COMP benchmarks

These tests are marked as false by SymDIVINE, however they are marked as true:

  • pthread-ext/11_fmaxsymopt_true-unreach-call.i- variable offset in GEP, expecting constant
  • pthread-ext/10_fmaxsym_cas_true-unreach-call.i- variable offset in GEP, expecting constant
  • pthread/indexer_true-unreach-call.i - variable in load, expecting constant
  • pthread-lit/sssc12_true-unreach-call.i - missing malloc support
  • ldv-races/race-2_5-container_of_false-unreach-call.i - typename llvm::cast_retty::ret_type llvm::cast(Y*) [with X = llvm::PtrToIntInst; Y = llvm::User; typename llvm::cast_retty::ret_type = llvm::PtrToIntInst*]: Assertion isa(Val) && "cast() argument of incompatible type!"' failed.