search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Resolint debugging #37

Open podhrmic opened 2 years ago

podhrmic commented 2 years ago

Hi, how do I get some debug information from Resolint? I followed the user guides at https://github.com/loonwerks/formal-methods-workbench/tree/master/documentation/resolute but the debug function didn't print any output in the console.

I have a simple Resolint rule:

r_debug_test() <=
    ** "blah " **
    debug( "Hello world ")

Is there a step I am missing?