bug provide external

Hi,

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:

2 (primitive-load "C:/liteq/Dezyne/dezyne-2.16.1.rc1//gnu.")

In dzn/commands/lts.scm:

125:19 1 (main _)

In dzn/lts.scm:

239:17 0 (aut-text->lts _)

dzn/lts.scm:239:17: In procedure aut-text->lts:

In procedure car: Wrong type argument in position 1 (expecting pair): ()

Backtrace:

14 (primitive-load "C:/liteq/Dezyne/dezyne-2.16.1.rc1//gnu.")

In dzn/commands/verify.scm:

106:18 13 (main _)

In dzn/verify/pipeline.scm:

621:37 12 (verification:verify _ (root** (bool-node* (scope.name.) .)

In srfi/srfi-1.scm:

460:18 11 (fold #<procedure 92f7b468 at dzn/verify/pipeline.scm:.> .)

In dzn/verify/pipeline.scm:

591:27 10 (mcrl2:verify-component-asserts (component** (scope.na.) .)

547:24 9 (mcrl2:verify-compliance _ _)

413:18 8 (verify-pipeline _ (root** (bool-node* (scope.name-nod.) .)

In ice-9/poe.scm:

89:21 7 (_ verify-compliance (root** (bool-node* (scope.name-n.) .)

In dzn/verify/pipeline.scm:

400:26 6 (verify-pipeline-wrapper _ _ _ #:init _)

386:28 5 (unmemoized-verify-pipeline "verify-compliance" (root*.) .)

In srfi/srfi-1.scm:

460:18 4 (fold #<procedure 937c9a60 at dzn/verify/pipeline.scm:.> .)

In dzn/verify/pipeline.scm:

382:38 3 (_ #<procedure in-out:dzn->aut+provides-aut (options)> #)

222:11 2 (in-out:dzn->aut+provides-aut _)

444:14 1 (get-lts (("")))

441:8 0 (get-line _ _)

dzn/verify/pipeline.scm:441:8: In procedure get-line:

Throw to key `programming-error' with args `("no such assert: \"failures\", result: ((\"\"))\n")'.

I hope you can help me with it.

With Kind regards,

Michiel Fortuin