|
From: | Michiel Fortuin |
Subject: | bug provide external |
Date: | Fri, 16 Sep 2022 09:41:40 +0000 |
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 |
hello-world.dzn
Description: hello-world.dzn
[Prev in Thread] | Current Thread | [Next in Thread] |