If a module contains a directive that executes code within the module, for example to initialise some stae at compile time, lib coverage has not initialised enough state by the time it runs that directive. example. :- module(eg). init :- true, true. :- init. [eclipse 3]: 2. ccompile("eg.ecl"). array or global variable does not exist in incval_body(eg(0), coverage) Compiler: query exited (abort) in file /data5/stefano/RG/Code/AlgCode/Code/eg.ecl, line 7. coverage: inserted 3 coverage counters into module eg eg.ecl compiled traceable 1440 bytes in 0.03 seconds Yes (0.03s cpu) [eclipse 4]: Stefano Novello Parc Technologies Limited Office: +44 (0)20 7261 4068 Mobile: +44 (0)79 8985 4422<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /> This e-mail message is for the sole use of the intended recipient (s) -its contents are the property of PARC Technologies Limited (or its licensors) and are confidential. Please do not copy, review, use, disclose or distribute the e-mail or its contents (or allow anyone else to do so) without our prior permission. PARC Technologies Limited does not guarantee that this e-mail has not been intercepted and amended nor that it is virus-free. You should carry out your own virus checks before opening any attachment. Any opinions expressed in this e-mail message are those of the author and not necessarily PARC Technologies Limited.Received on Fri Feb 21 12:33:38 2003
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:20 PM GMT GMT