Re: bug provide external

[Jan Nieuwenhuizen]

Michiel Fortuin writes:

Hello Michiel,

> I have found a bug with Dezyne (version 2.16.1.rc1). 
>
> When I try to validate this file with external provides, it crashes on some 
> internal error and I get the following output.
>
> verify: IHelloWorld: check: deadlock: ok
> verify: IHelloWorld: check: livelock: ok
> verify: IHelloWorld: check: deterministic: ok
>
> [error]   Unexpected end-of-file reached in the input file/stream.
> [error]   Expect an .aut file to start with 'des'.
> Backtrace:

[..]

Ouch.

Dezyne does not support "provides external"; apparently a
well-formedness check is missing to gracefully reject it.

> I hope you can help me with it.

Where did you get the idea to use "provides external", what are you
trying to accomplish?

Thanks for your report!

Greetings,
Janneke

-- 
Jan Nieuwenhuizen <janneke@gnu.org>  | GNU LilyPond https://lilypond.org
Freelance IT https://JoyOfSource.com | Avatar® https://AvatarAcademy.com