Improved path replacements
Improved Results Viewer
MPC55xx: support for TLB
a³ for C16x now supports CX167CI-32F40F.
Prior to installation or deinstallation, the installer now detects running processes of the tool in question and asks the user to close them so as to avoid problems.
qualifygui to show the percentage of finished test cases.
as this option has been removed.
as this option does not exist in the GUI for the H8.
Extended the specification to allow more a³ specific options to be passed over.
restrict (a, b, ...) now leads to an error if the intersection is empty
range (a, b) and
a..b now leads to an error if the range is empty
E with x % a == b now leads to an error if the result is empty
switch (...) now leads to an error if no switch case matches
default-unroll to be larger than
in the mapping specification.
calls via annotation introduces an external routine,
as the target is not contained in the executable, a corresponding message is
issued that includes references to the problematic annotations.
exec2crl and value analysis cooperation).
Instead of calculating with only one interval of values the user can specify to use a set of intervals for each register/memory cell. To use more than one interval per register/memory cell the option “Analyses” → “Advanced” → “Size limit for interval sets” has to be increased to more than 1. Alternatively, the user can add an annotation of the form:
routine "foo" features "size_limit_for_interval_sets" = N
This increases the number of intervals per register/memory cell in the specified routine to N independently of the global setting.
eieio behavior instead of the documented one.
eieio behavior instead of documented one.