./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c


--------------------------------------------------------------------------------


Deagle version 2.1 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (SVCOMP2023_221122-2-g2121ef1a2) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c
file /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/the_silver_searcher/main.c line 3610: syntax error before '__attribute__'
PARSING ERROR
