Structure tests in testsets & Separate unit and integration tests

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

https://juliasymbolics.github.io/Metatheory.jl/dev/

MIT License

362 stars 47 forks source link

Structure tests in testsets & Separate unit and integration tests #112

Closed Wilkenfeld closed 2 years ago

Wilkenfeld commented 2 years ago

Solves Quire tasks 2 and 9