summaryrefslogblamecommitdiff
path: root/tests/results/0401_assert_false.polyhedra.txt
blob: 2dd50d8a1a02a179c3a088371a9a71c655655333 (plain) (tree)
1
2

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