KR3: publish the GOTO back-to-back checking tool on the github model-checking org #2083

Open

Assignees

Labels

Milestone

Create a reference evaluator and back-to-back testing tool for the GOTO language

remi-delmas-3000

opened

Proposed change:

Motivation:

Metadata

Assignees

remi-delmas-3000

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

Create a reference evaluator and back-to-back testing tool for the GOTO languageNo due date

Relationships

None yet

Development

No branches or pull requests