search

goblint / bench

The benchmark suite
4 stars 5 forks source link

MAOS #10

Open michael-schwarz opened 2 years ago

michael-schwarz commented 2 years ago

https://lianqiw.github.io/maos

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

Fails with #pragma openmp