refactor: use create_justification in the quint specification as in the informal spec #63
Annotations
1 error
|
Run test
Process completed with exit code 2.
|
Loading