Warn when `ana.opt.hashcons` is off, but `witness.graphml.enabled` or `exp.arg.enabled` are on or an Apron domain is on

In theses cases, counterintuitively, `--disable ana.opt.hashcons` doesn't completely disable hashconsing, as observed by @sim642 

https://github.com/goblint/analyzer/blob/f214ec5f45b8addb62ceb3c532ded9c886a8b241/src/framework/control.ml#L19

https://github.com/goblint/analyzer/blob/f214ec5f45b8addb62ceb3c532ded9c886a8b241/src/framework/control.ml#L29-L31

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Warn when `ana.opt.hashcons` is off, but `witness.graphml.enabled` or `exp.arg.enabled` are on or an Apron domain is on #1657

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

	(* hashcons before witness to reduce duplicates, because witness re-uses contexts in domain and requires tag for PathSensitive3 *)
	\|> lift (get_bool "ana.opt.hashcons" \|\| arg_enabled) (module HashconsContextLifter)
	\|> lift arg_enabled (module HashconsLifter)

Warn when ana.opt.hashcons is off, but witness.graphml.enabled or exp.arg.enabled are on or an Apron domain is on #1657

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Warn when `ana.opt.hashcons` is off, but `witness.graphml.enabled` or `exp.arg.enabled` are on or an Apron domain is on #1657