This repository contains CASM specifications for example test applications, unit tests, and integration tests.
application- contains various applications
benchmark- contains benchmarks etc.
test- contains unit test-cases/integration tests etc.
The copyright holder of
libcasm-tc is the CASM organization (@casm-lang)
and the used license of
libcasm-tc is the GNU GPLv3
with an additional Linking Exception (LE) permission.