aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/eval-bad-assign1.c
AgeCommit message (Expand)AuthorFilesLines
2019-09-30do not linearize invalid expressionLuc Van Oostenryck1-1/+0
2019-03-05add test for evaluation of invalid assignmentsLuc Van Oostenryck1-0/+15