Summary: | Bug: Ok expected | ||
---|---|---|---|
Product: | UPPAAL Stratego | Reporter: | Frederik Baymler Mathiesen <fmathi16> |
Component: | GUI | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED DUPLICATE | ||
Severity: | normal | ||
Priority: | P5 | ||
Version: | unspecified | ||
Hardware: | PC | ||
OS: | Linux | ||
Architecture: | x86_64 (64bit) |
Description
Frederik Baymler Mathiesen
2019-10-16 09:21:51 CEST
I am not sure what query your are trying, but I suspect that it is an SMC query and the reason for this bug is that engine returns a concrete trace but the concrete simulator is broken and thus crash. We are currently working on the concrete simulator. If the query is a simbolic one (A[], E<> etc), then this is new, and I would like more details (please confirm). |