ContRap
The symbolic tool for control-flow based rapid prototyping.

Function types from test
Brief description

types(a:int,b:int,c:int):int

This function tests if the native export of pointer types works More ...

Function information
Name: types
Base:
Group: Test plugins
Icon:
Color:
Authors:
Copyright:

Detailed description

This function tests if the native export of pointer types works

Input parameters
a: int
Native integer
b: int
Reference to a native integer
c: int
Constant reference to a native integer

Return values
Default return value: int
Native integer