path: root/tests/results/0401_assert_false.intervals.txt

sources/0401_assert_false.c:2.0-15: ERROR: assertion failure
Output: bottom