Files

test

fix the integration tests

Aug 14, 2024

4930c52 · Aug 14, 2024

This branch is 345 commits behind apalache-mc/apalache:main.

Name		Name	Last commit message	Last commit date
parent directory ..
docker-bin		docker-bin
tla		tla
tlaplus-suite		tlaplus-suite
.envrc		.envrc
mdx-test.py		mdx-test.py
run-tlaplus-suite		run-tlaplus-suite