0402_assert_both.intervals.txt « results « tests - SemVerif-Projet.git - Projet de Sémantique

summary refs log tree commit diff

path: root/tests/results/0402_assert_both.intervals.txt

blob: 55a8f120a98742cccdfbabdd0a6d449e7faebeea (plain) (blame)

1
2
3

sources/0402_assert_both.c:2.0-15: ERROR: assertion failure
sources/0402_assert_both.c:3.0-14: ERROR: assertion failure
Output: [ x in [1;10] ]