search

seahorn / crab

A library for building abstract interpretation-based analyses
Apache License 2.0
233 stars 32 forks source link

fix: add stdexcept header #41

Closed priyasiddharth closed 3 years ago

priyasiddharth commented 3 years ago

To fix compilation issues with seahorn