Closed goodlyrottenapple closed 7 months ago
This is a bare-bones setup meant for testing the mx semantics in the booster backend, by running the booster and integration tests. For this, we use nix instead of docker to ensure uniform versions of tools such as poetry or the k-framework.
poetry
Partially addresses #95
This is a bare-bones setup meant for testing the mx semantics in the booster backend, by running the booster and integration tests. For this, we use nix instead of docker to ensure uniform versions of tools such as
poetryor the k-framework.Partially addresses #95