Add option to store local results of Apron-Analysis for comparison#433

Merged

jerhard merged 30 commits intomasterfrom issue_423

Nov 5, 2021

+260-59

Commits on Nov 3, 2021

Commits on Nov 4, 2021

Commits on Nov 5, 2021

Add explicit main method to ComparePrec, add description to apronPrivPrecCompare and privPrecCompare
jerhard
committed
Add comments to PrivPrecCompareUtil.R interface functions and types.
jerhard
committed
Move code specific to privPrecCompare and apronPrivPrecCompare to separate util files.
jerhard
committed
Provide empty alternative module for AparonPrecCompareUtil in case Apron is not installed.
jerhard
committed
Fix indentation
jerhard
committed
Rename apronPrivPrecCompare -> apronPrecCompare
jerhard
committed
Update .gitignore for renaming apronPrivPrecCompare -> apronPrecCompare

jerhard
and
sim642
authored
Rename option exp.apron-prec-dump to exp.apron.prec-dump
jerhard
committed
Replace find_option with match by find_default
jerhard
committed
Do not set the deserialization Manager when loading the configured apron manager in Goblint.
jerhard
committed
Move PrecCompareUtil.Node to ApronPrecCompareUtil.Node, as it is only used there. Explain why name () is overriden.
jerhard
committed
Fix capitalization in filename, fix typo in comment
jerhard
committed
Include Util module in ApronPrecCompareUtil and privPrecCompareUtil directly.
jerhard
committed
Move PrePrivPrecCompare.ComparePrec to PrecCompare.MakeDump
jerhard
committed
Remove unnecessary .Util
jerhard
committed