I am using UPPAAL 4.1.2 (rev. 4409), September 2009 Academic and non-commercial use only.I tested it even with release version I am facing segmentation fault problem by using verifyta. bash-4.0$ time ./verifyta Buffer1ignore.xml deadlock.q -t0 -ftracefile.xtr -u Options for the verification: Generating some trace Search order is breadth first Using conservative space optimisation Seed is 1298160931 State space representation uses minimal constraint systems Verifying property 1 at line 6 Segmentation fault (core dumped), Load: 12974374 states real 33m56.628s user 33m3.844s sys 0m8.148s
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.