Changelog of @hackage/smtlib-backends-tests 0.2

v0.2

  • remove (exit) commands at the end of sources
  • make library compatible with smtlib-backends-0.2