goblint / analyzer / 4428

65%

Build Type

push

github

Committed by web-flow

Commit Message

Fix signs.ml tutorial eval to handle negated constants via UnOp (#2014)

* Initial plan

* Add UnOp Neg case to eval in signs.ml tutorial with TODO

Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/aeab2b2b-4a0b-47d3-9d95-d35534b24533

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Specialize UnOp Neg case to Const in signs.ml eval

Agent-Logs-Url: https://github.com/goblint/analyzer/sessions/476c638e-da24-4c04-aa1d-7f391bd2a761

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Apply suggestion from @michael-schwarz

* Update src/analyses/tutorials/signs.ml

Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>

Coverage Stats

1 of 1 new or added line in 1 file covered. (100.0%)

16 existing lines in 2 files now uncovered.

22679 of 34630 relevant lines covered (65.49%)

399965.5 hits per line