Bugzilla – Bug List
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
Help
|
Log In
[x]
|
Forgot Password
Login:
[x]
This issue tracker is closed.
Please visit
UPPAAL issue tracker at Github
instead.
Tue May 21 2024 17:31:09 CEST
Bug season
Hide Search Description
Product:
UPPAAL
Component:
Engine
Resolution:
---
84 bugs found.
ID
Product
Comp
▲
Assignee
Status
▲
Resolution
Summary
Changed
▲
179
UPPAAL
Engine
behrmann
ASSI
---
Continuation of verifyta with rest of queries if one produces out-of-memory error
2005-08-04
70
UPPAAL
Engine
behrmann
ASSI
---
There is no intersection check for inequalities involving integers and their ranges in verifier
2005-11-06
66
UPPAAL
Engine
behrmann
ASSI
---
User specified inactive clocks
2005-11-06
44
UPPAAL
Engine
behrmann
ASSI
---
(dot/period). protocol error
2005-11-06
201
UPPAAL
Engine
behrmann
ASSI
---
Deadlock during broadcast channel synchronization
2005-12-09
283
UPPAAL
Engine
behrmann
ASSI
---
Global invariant declaration
2006-03-02
274
UPPAAL
Engine
behrmann
ASSI
---
Nested path formula
2006-03-09
216
UPPAAL
Engine
behrmann
ASSI
---
Statements on edges
2006-03-19
343
UPPAAL
Engine
behrmann
ASSI
---
Cannot launch UPPAAL with an XTA from the command line (programmatically)
2006-08-26
145
UPPAAL
Engine
marius
ASSI
---
Value passing over channels
2006-11-06
120
UPPAAL
Engine
johnh
ASSI
---
Determining the actual range of variables
2006-12-05
408
UPPAAL
Engine
behrmann
ASSI
---
Non-terminating code hangs UPPAAL core
2007-03-26
398
UPPAAL
Engine
behrmann
ASSI
---
Memory leak when generating shortest or fastest traces
2007-05-13
397
UPPAAL
Engine
behrmann
ASSI
---
Engine crashes when control reaches end of non-void function
2007-05-13
392
UPPAAL
Engine
behrmann
ASSI
---
Wrongful interpretation of query over automatically instantiated templates with select expressions
2007-05-13
389
UPPAAL
Engine
behrmann
ASSI
---
Crash during concrete trace generation
2007-05-13
436
UPPAAL
Engine
adavid
ASSI
---
Relax restriction: clock guards are not allowed on broadcast receivers
2008-06-11
449
UPPAAL
Engine
adavid
ASSI
---
allow multi-synchronization (multicast) over channels
2008-10-28
115
UPPAAL
Engine
behrmann
ASSI
---
Internal functions
2008-11-10
451
UPPAAL
Engine
adavid
ASSI
---
switch-case-default statement is not supported
2008-11-18
464
UPPAAL
Engine
adavid
ASSI
---
Liveness trace is too permissive
2010-04-23
21
UPPAAL
Engine
behrmann
ASSI
---
Statistics about runtime, memory usage, etc.
2010-08-18
498
UPPAAL
Engine
adavid
ASSI
---
Property may be satisfied
2010-10-19
504
UPPAAL
Engine
adavid
NEW
---
Use of stopwatches with UPPAAL_COMPILE_ONLY produce an exception
2010-11-08
505
UPPAAL
Engine
adavid
NEW
---
Sever.exe loops infinitely in Uppaal 4.1.3 for the syntax check
2010-11-19
510
UPPAAL
Engine
adavid
NEW
---
Segmentation fault while verifying an LSC
2011-03-11
512
UPPAAL
Engine
adavid
NEW
---
"Clock rate(54) must be 0 or 1" error while doing SMC
2011-04-11
518
UPPAAL
Engine
adavid
NEW
---
Error in systematic parameter substiturion for templates
2011-08-02
519
UPPAAL
Engine
adavid
NEW
---
Caught Exception
2011-08-09
521
UPPAAL
Engine
adavid
NEW
---
socketserver missing
2011-08-11
520
UPPAAL
Engine
adavid
NEW
---
Can't run server on 64-bit Linux
2011-08-11
506
UPPAAL
Engine
adavid
NEW
---
uppaal-4.0.13 verifyta statically linked?
2011-09-01
523
UPPAAL
Engine
adavid
ASSI
---
SMC throws exception: State does not satisfy invariant
2011-09-14
526
UPPAAL
Engine
adavid
NEW
---
SMC generates only half of the simulation runs on Windows
2011-09-20
529
UPPAAL
Engine
adavid
NEW
---
simulations stop prematurely when one of the conditions is satisfied
2012-01-06
530
UPPAAL
Engine
adavid
NEW
---
Hypothesis testing fails
2012-01-09
531
UPPAAL
Engine
adavid
NEW
---
The verification of a "sup" property based on a clock value does not terminate
2012-01-19
532
UPPAAL
Engine
adavid
NEW
---
The verification of a "sup" property based on a clock value does not terminate
2012-01-19
533
UPPAAL
Engine
adavid
NEW
---
The verification of a "sup" property based on a clock value does not terminate
2012-01-19
542
UPPAAL
Engine
adavid
NEW
---
false deadlock claimed and even trace provided, but no deadlock is found
2013-01-16
548
UPPAAL
Engine
adavid
NEW
---
Simulate filters out too many points with stop condition
2013-04-11
549
UPPAAL
Engine
adavid
NEW
---
Simulate filters out too many points with float clock rate
2013-04-11
554
UPPAAL
Engine
adavid
NEW
---
Query Check
2013-06-21
555
UPPAAL
Engine
adavid
NEW
---
Incorrect expression for invariants in compiled time-based model
2013-06-26
556
UPPAAL
Engine
adavid
NEW
---
Incorrect layout for invariants with functions in compiled time-based model
2013-06-27
557
UPPAAL
Engine
adavid
NEW
---
Server Crashes while running a Query
2013-07-02
563
UPPAAL
Engine
adavid
NEW
---
guards on doubles result in "has a general hybrid guard enabled without urgent channel"
2013-11-13
546
UPPAAL
Engine
adavid
NEW
---
Can not automatically get counter example if not satisfied
2013-11-21
565
UPPAAL
Engine
adavid
NEW
---
Query `E<> (...)` fails on Mac using normal and 64-bit version
2014-01-13
589
UPPAAL
Engine
marius
ASSI
---
SMC trajectories contain duplicate points
2015-05-15
595
UPPAAL
Engine
marius
ASSI
---
simulation trajectory filtering drops too many points
2015-06-01
597
UPPAAL
Engine
marius
ASSI
---
simulate query with check returns too few simulations
2015-06-21
599
UPPAAL
Engine
marius
ASSI
---
Wrong answer from the model checker
2015-09-30
593
UPPAAL
Engine
marius
ASSI
---
faulty initialization of array of doubles
2015-10-01
590
UPPAAL
Engine
marius
ASSI
---
Runtime Error
2015-12-16
627
UPPAAL
Engine
marius
ASSI
---
Lower bound clock invariants are ignored
2017-02-20
604
UPPAAL
Engine
marius
ASSI
---
server crashs because of bad http/1.1 request of blacklist
2017-02-20
610
UPPAAL
Engine
marius
ASSI
---
Sending doubles function-parameter by reference gives unspecified behavior
2017-02-20
611
UPPAAL
Engine
marius
ASSI
---
Error in handling double-comparison in guards
2017-02-20
613
UPPAAL
Engine
marius
ASSI
---
Combination of inline-if + doubles makes engine crash
2017-02-20
614
UPPAAL
Engine
marius
ASSI
---
Guarded, not enabled edge with urgent channel enforces urgency
2017-02-20
615
UPPAAL
Engine
marius
ASSI
---
Combination of urgent channels + double guards gives zeno-behaviour-error
2017-02-20
616
UPPAAL
Engine
marius
ASSI
---
Doubles are not handled correctly in guards
2017-02-20
622
UPPAAL
Engine
marius
ASSI
---
Reuse Constant-declarations in byte-code
2017-02-22
625
UPPAAL
Engine
marius
ASSI
---
cannot access array A in template instantiation
2017-02-22
612
UPPAAL
Engine
marius
ASSI
---
Doubles cannot be initialized with integer value
2017-02-28
626
UPPAAL
Engine
marius
ASSI
---
pow computes incorect result in complicated expressions
2017-03-15
544
UPPAAL
Engine
marius
ASSI
---
support for clock and random initialisers (initializers)
2017-04-06
543
UPPAAL
Engine
marius
ASSI
---
Estimation (E) query accepts only variable exressions
2017-04-06
646
UPPAAL
Engine
marius
ASSI
---
simulator overshoots the floating point constraints
2017-11-02
652
UPPAAL
Engine
marius
ASSI
---
array types in function return
2018-05-02
653
UPPAAL
Engine
marius
ASSI
---
The initial state is undefined with invariant using clock initialized other than zero in SMC
2018-05-02
655
UPPAAL
Engine
marius
ASSI
---
Nondeterministic select causes unexpected probabilities for equally weighted transitions.
2018-05-30
657
UPPAAL
Engine
marius
ASSI
---
simulations stop at the bound without considering changes of the last urgent transitions
2018-06-27
600
UPPAAL
Engine
marius
ASSI
---
Dynamic creation of process do not cooperate with floating point type
2019-03-23
665
UPPAAL
Engine
marius
ASSI
---
unbounded int parameter creates unreasonably large structures
2019-09-12
416
UPPAAL
Engine
marius
ASSI
---
segfault when scalar-indexed processes used with priorities
2019-10-21
414
UPPAAL
Engine
marius
ASSI
---
before_update/after_update in local declaration
2019-10-21
411
UPPAAL
Engine
marius
ASSI
---
"FATAL: kernel too old" followed by Segmentation fault
2019-10-21
541
UPPAAL
Engine
marius
ASSI
---
IO exception when verifying FDDI protocol
2019-10-29
492
UPPAAL
Engine
marius
ASSI
---
rvalue optimizations
2019-11-05
673
UPPAAL
Engine
marius
ASSI
---
symbolic queries on hybrid models should fail with an error
2019-11-14
674
UPPAAL
Engine
marius
ASSI
---
liveness (leadsto) query crash in combination with urgent channels and channel priorities
2019-11-26
676
UPPAAL
Engine
marius
ASSI
---
committed receiver causes time-locks
2020-01-08
84 bugs found.
Change Columns
Edit Search
as
File a new bug in the "Engine" component of the "UPPAAL" product