Make sure that the fixpoint that you want to trace is not importing package notrace (If this is the case, nothing will be shown).
The fixpoint can be traced in several forms: graphical (with daVinci graph viewer) or ascii, using trace_fixp/1.
Note that daVinci executable has to be accesible in the path for Ciao.
?- trace_fixp(view). % This will open a uDraw(Graph) window ?- module(PathToModule). % load the module to analyze (located in PathToModule) ?- analyze(AbsInt). % Analyze for abstract domain AbsInt % The process will appear in the uDraw(Graph) window. ?- trace_fixp(no). % Stop the tracing
E.g. in the actions: ?- analyze(AbsInt), analyze(AbsInt). the second analysis will fail (only if the tracing is on).
A menu is generated in uDraw(Graph) (Edit) that allows to execute the analysis in a syncronous and asynchronous way (see Edit->Mode) to swich options.
If the synchronous option is on, once the analysis has started, the visualization (and the fixpoint) will do one operation each step. The next step will be performed only if command Edit->'One step ahead' is executed.