Preferences

To set some preferences, choose the Edit -> Preferences menu ...

Debug

Log level: set the logging level (the log file can be found at ${workspace}/.metadata/.plugins/eu.fbk.af3.tools.ocra)
Show console: show/hide the output console
Development Mode: enable/disable some internal functionalities for development purpose (export oss/smv file, monolithic implementation check)

Debug Preferences


Tools

Allow to set the path of the OCRA executable.
Once chosen (remind to Apply before), the Test OCRA button checks whether the executable version is compatible with AF-OCRA plugin.

Tools Preferences

AF-OCRA has been developed and is mantained by:
Embeded System