Skip to content

GitLab

Explore

Sign in

Into-cps
rabbitmq-tla-test-case-gen

R

rabbitmq-tla-test-case-gen

Project information

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.

12 Commits
2 Branches
0 Tags

README

Created on

March 05, 2020

Copy SSH clone URLgit@gitlab.au.dk:into-cps/rabbitmq-tla-test-case-gen.git
Copy HTTPS clone URLhttps://gitlab.au.dk/into-cps/rabbitmq-tla-test-case-gen.git