seahorn/crab

Integrate new ELINA

caballa opened this issue · 1 comments

caballa commented
Integrate new ELINA
caballa commented

Done in commit 8ee9856