The analysis driver is analysis/racerg/main.go, which invokes the Datalg
analysis in payload/racerg/datalog/analysis/analysis_racerg.dl, and uses as input payload/racerg/datalog/input/roots.facts. Documentation available at doc/racerg.md.
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
The analysis driver is
analysis/racerg/main.go, which invokes the Datalg analysis inpayload/racerg/datalog/analysis/analysis_racerg.dl, and uses as inputpayload/racerg/datalog/input/roots.facts. Documentation available atdoc/racerg.md.Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.