# 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/stack_true-unreach-call.c`
- `pthread/stack_longest_true-unreach-call.c`
- `pthread/stack_longer_true-unreach-call.i`
Add list of iteresting (read failing) benchmarks
Add list of iteresting (read failing) benchmarks
