search

thomashart17 / c-rust

Repo for hosting examples of interoperability of rust and C using LLVM 14.
0 stars 2 forks source link

feat(job): enable tinyvec capacity error job #13

Closed priyasiddharth closed 1 year ago

priyasiddharth commented 1 year ago

Added new flag in seahorn to replace loops with nd function to make verification quicker

priyasiddharth commented 1 year ago

@BorisJancicUWaterloo FYI, this PR uses a new cmd line arg.