Skip to content
Snippets Groups Projects
Commit c9b76613 authored by Phillip Raffeck's avatar Phillip Raffeck
Browse files

tacle-check: astree: add default template

parent 2808c7f5
Branches
No related tags found
No related merge requests found
......@@ -151,7 +151,7 @@ def parse_args():
parser.add_argument('-astree-template', '--astree-template',
dest='astree_template', help='perform astree verification',
required=False, default=None)
required=False, default="lib/template.dax")
return parser, parser.parse_args()
......
<?xml version="1.0" encoding="utf-8"?>
<dax version="1.3" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://www.absint.com/dtd/astree-dax-16.10.xsd" xmlns="http://www.absint.com/dax">
<name>Phillip</name>
<private>no</private>
<wrapper>
<execution-model>synchronous</execution-model>
</wrapper>
<abi>
<alignof_attributed_pointer_1>4</alignof_attributed_pointer_1>
<alignof_attributed_pointer_2>4</alignof_attributed_pointer_2>
<alignof_attributed_pointer_3>4</alignof_attributed_pointer_3>
<alignof_bool>1</alignof_bool>
<alignof_char_array>1</alignof_char_array>
<alignof_double>8</alignof_double>
<alignof_float>4</alignof_float>
<alignof_function_pointer>4</alignof_function_pointer>
<alignof_int>4</alignof_int>
<alignof_long>4</alignof_long>
<alignof_long_double>16</alignof_long_double>
<alignof_long_long>8</alignof_long_long>
<alignof_pointer>4</alignof_pointer>
<alignof_short>2</alignof_short>
<atomic_attributed_pointer_1>no</atomic_attributed_pointer_1>
<atomic_attributed_pointer_2>no</atomic_attributed_pointer_2>
<atomic_attributed_pointer_3>no</atomic_attributed_pointer_3>
<atomic_bool>no</atomic_bool>
<atomic_char>no</atomic_char>
<atomic_double>no</atomic_double>
<atomic_float>no</atomic_float>
<atomic_function_pointer>no</atomic_function_pointer>
<atomic_int>no</atomic_int>
<atomic_long>no</atomic_long>
<atomic_long_double>no</atomic_long_double>
<atomic_long_long>no</atomic_long_long>
<atomic_pointer>no</atomic_pointer>
<atomic_short>no</atomic_short>
<bitfield_sign>unsigned</bitfield_sign>
<bits_of_byte>8</bits_of_byte>
<bits_of_char>8</bits_of_char>
<char_sign>unsigned</char_sign>
<endianess>big</endianess>
<enum_preferred_sign>signed</enum_preferred_sign>
<enum_preferred_size>int</enum_preferred_size>
<pointer_attributes_1/>
<pointer_attributes_2/>
<pointer_attributes_3/>
<rounding_mode>all</rounding_mode>
<rounding_mode_for_constants>to_nearest</rounding_mode_for_constants>
<sizeof_attributed_pointer_1>4</sizeof_attributed_pointer_1>
<sizeof_attributed_pointer_2>4</sizeof_attributed_pointer_2>
<sizeof_attributed_pointer_3>4</sizeof_attributed_pointer_3>
<sizeof_bool>1</sizeof_bool>
<sizeof_double>8</sizeof_double>
<sizeof_float>4</sizeof_float>
<sizeof_function_pointer>4</sizeof_function_pointer>
<sizeof_int>4</sizeof_int>
<sizeof_long>4</sizeof_long>
<sizeof_long_double>16</sizeof_long_double>
<sizeof_long_long>8</sizeof_long_long>
<sizeof_pointer>4</sizeof_pointer>
<sizeof_short>2</sizeof_short>
<unaligned_dereference>error</unaligned_dereference>
</abi>
<options>
<analysis-entry>main</analysis-entry>
<list-entry-functions>1</list-entry-functions>
</options>
<rulechecks>
<rules enable="none"/>
<checks enable="all"/>
</rulechecks>
<preprocess use-relative-paths="no">
<keep-comments>no</keep-comments>
<clibrary>no</clibrary>
<remove-analysis-files>no</remove-analysis-files>
<use-internal-preprocessor>yes</use-internal-preprocessor>
<config name="Default configuration">
<files>
</files>
</config>
<strip-path>no</strip-path>
</preprocess>
<modellink enabled="no">
<suffix>.*.html</suffix>
<strip-compilation-path>yes</strip-compilation-path>
<includes/>
<replacements/>
</modellink>
</dax>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment