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