goblint/bench

MAOS

Opened this issue · 0 comments

michael-schwarz commented

https://lianqiw.github.io/maos

./autogen.sh
./configure --disable-openmp 
bear make
./goblint -v .

Fails with #pragma openmp