Summary: | Segmentation fault | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Muhammad Atif <forinboxofatif> |
Component: | Engine | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED INVALID | ||
Severity: | blocker | CC: | kragj, marius |
Priority: | P2 | ||
Version: | 4.0.8 | ||
Hardware: | PC | ||
OS: | Linux | ||
URL: | http://www.win.tue.nl/~atif/uppaal/experimental.zip | ||
Architecture: |
Description
Muhammad Atif
2011-02-20 10:55:38 CET
Have you tried other versions of UPPAAL? E.g. The current stable version 4.0.13, or the current development snapshot version 4.1.3 (rev. 4577)? Also, do you run it on 32 or 64 bit? I am taking over this bug. We need more information: in particular the model file and queries. For now, I'll just mark it as invalid, feel free to reopen if the issue persists. |