Module Goblint_lib.Assert

Analysis of assert results (assert).