0403_assert_both2.constants.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0403_assert_both2.constants.txt

blob: a229c5a245496d3e7b9dd85cc4a1f20b1549698c (plain) (blame)

1
2
3

sources/0403_assert_both2.c:2.0-14: ERROR: assertion failure
sources/0403_assert_both2.c:3.0-15: ERROR: assertion failure
Output: [ x in top ]