vacuity check output does not get source line debugloc info

thomashart17 / c-rust

Repo for hosting examples of interoperability of rust and C using LLVM 14.

0 stars 2 forks source link

vacuity check output does not get source line debugloc info #8

Open priyasiddharth opened 1 year ago

priyasiddharth commented 1 year ago

For result_and_then_unsat job

Assertion passed: call void @sea.assert.if(i1 %_65, i1 %seahorn.gsa.gamma.entry.y._61) (BvOpSem2.cc:1005) Vacuity failed: call void @sea.assert.if(i1 %_73, i1 false) (BvOpSem2.cc:1005) Vacuity failed: call void @sea.assert.if(i1 %_70, i1 true) (BvOpSem2.cc:1005)