Disable on-model supports for pierce tests.

Also added separate main for sla_print testsuite to speed up compilation.
This commit is contained in:
tamasmeszaros
2019-10-04 18:14:19 +02:00
parent 1df1ef481d
commit a34ca42709
3 changed files with 51 additions and 9 deletions

View File

@@ -0,0 +1,2 @@
#define CATCH_CONFIG_MAIN
#include <catch2/catch.hpp>