VeriFIT / mata

A fast and simple automata library
MIT License
23 stars 13 forks source link

Update Catch2 to version 3 #453

Closed Adda0 closed 2 weeks ago

Adda0 commented 2 weeks ago

This PR finally updates Catch2 to version 3 which gives us better debugging options, better visualization and compatibility, performance, mini-benchmarking infrastructure which might actually improve the overall Mata perftesting abilities, and much more.