System Message: ERROR/3 (tests/unterminated.rst, line 13)
Coq raised an exception:
> Syntax Error: Lexer: Unterminated string
The offending chunk is delimited by >>>…<<< below:
> (* >>>"This string is unterminated. *)<<<
Results past this point may be unreliable.
System Message: WARNING/2 (tests/unterminated.rst, line 13)
Orphaned message for sid b'0':
> Not interpreting "*)" as the end of current
> non-terminated comment because it occurs in a
> non-terminated string of the comment.
> [comment-terminator-in-string,parsing]