search

diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
44 stars 24 forks source link

Set function on GOTO trace #170

Closed FrNecas closed 1 year ago

FrNecas commented 1 year ago

Previously, the function was not set which resulted in an empty "assumption.scope" tag, the XML library converted it to a singular tag, while as per the specification, it must be dual, causing witnesslint to fail.

FrNecas commented 1 year ago

Ah, clang-format, this will get some time to get used to :sweat_smile: :

-  step.function_id=current_pc->source_location().get_function();
+  step.function_id = current_pc->source_location().get_function();