Error when debugging with ourobouros
Status: Beta
Brought to you by:
dryeti
Menu
▾
▴
#6 Error when debugging with ourobouros
Hi,
When trying to debug with ourobouros, I run into the following error message (given in dialog):
An internal error occurred during: "Launching debug".
Unresolved compilation problems:
The import org.mmdasp.gringo cannot be resolved
GringoProgramElementStringProvider cannot be resolved to a type
Is this a configuration issue from my side or a bug?
Thx!
Broes
Hi Broes,
unfortunately a bug. Note that the Ouroboros plugin was written prior to updating gringo syntax to version >= 4.
Please, try the new sealion version 1.2.1 that comes with a fix for this issue that caused Ouroboros to never work.
You must ensure however that you use the gringo3 components of sealion. This is best achieved by using the extension .gr3 for your files and using the solver configuration Clingo3.
Hi Joerg,
Thx for the fix.
Is development still ongoing (e.g. towards Clingo 4/5)? Ourobouros seems to be the only debugging support around from what I could find.
Best,
Broes
Currently, there is no development of this plugin. Note that with stepping there is a different debugging approach implemented in sealion that works beyond Gringo3. It is based on stepwise application of rules (See http://repositum.tuwien.ac.at/urn:nbn:at:at-ubtuw:1-75281 and http://www.sealion.at/phocadownload/tutorials/sealion_stepping.pdf). There is also an implementation of debugging more in the style of Ouroboros based on dwasp (see https://arxiv.org/abs/1611.04969).