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)
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.