The analysis driver is analysis/racerg/main.go, which invokes the Datalog 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.
This PR is a copy of #24 , which was auto-closed because the source branch was automatically deleted.
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 Datalog analysis inpayload/racerg/datalog/analysis/analysis_racerg.dl, and uses as inputpayload/racerg/datalog/input/roots.facts. Documentation available atdoc/racerg.md.This PR is a copy of #24 , which was auto-closed because the source branch was automatically deleted. 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.