Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / informalsystems/modelator issues and pull requests

#30 - Store failed tests as a regression test suite

Issue - State: closed - Opened by andrey-kuprianov almost 4 years ago

#28 - Treat TLA+ test assertions as individual tests

Issue - State: closed - Opened by andrey-kuprianov almost 4 years ago - 1 comment

#6 - MBT-core: test configuration

Issue - State: closed - Opened by andrey-kuprianov about 4 years ago - 4 comments

#3 - MBT-core: auto-generate TLA+ monitor

Issue - State: closed - Opened by andrey-kuprianov about 4 years ago

#2 - MBT-core: architecture

Issue - State: closed - Opened by andrey-kuprianov about 4 years ago - 8 comments