mirror of
https://github.com/Echtzeitsysteme/tchecker.git
synced 2024-05-20 20:00:44 +00:00
9ea0e5214d
very first working version
9 lines
298 B
Plaintext
9 lines
298 B
Plaintext
// Won't fix
|
|
*:*/src/parsing/*
|
|
nullPointer:*/tchecker/src/refzg/refzg.cc:[181, 176, 189, 190, 197, 203, 208]
|
|
uninitdata:*/include/tchecker/utils/shared_objects.hh
|
|
nullPointer:*/src/refzg/refzg.cc
|
|
|
|
// the following is a known cppcheck bug
|
|
internalAstError:*/include/tchecker/graph/directed_graph.hh
|