Name		Name	Last commit message	Last commit date
fuzz-testing		fuzz-testing
json-traces-testing		json-traces-testing
libs		libs
models		models
nix		nix
scripts		scripts
.gitignore		.gitignore
LICENSE		LICENSE
README-tcmc.md		README-tcmc.md
README.md		README.md
stepper.als		stepper.als

Repository files navigation

Dash Testing Repository

Dashplus Alloy Parsing Tests

Follow the instructions in parsing-tests/README.md

Dashplus Correctness Tests

Follow the instructions in scripts/README.md

About

Integration testing for Dash translations to other languages

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages