RDBG is part of the The Synchrone Reactive toolbox (lus2lic, lurette, rdbg)
The gitlab project hosting the rdbg sources is accessible from : https://gricad-gitlab.univ-grenoble...
RDBG a programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb : both are synchronous programming languages).
RDBG is part of the The Synchrone Reactive toolbox (lus2lic, lurette, rdbg)
The gitlab project hosting the rdbg sources is accessible from : https://gricad-gitlab.univ-grenoble...