Daniel Marjamäki aff84daff3 synthetic tests: renamed functions

2016-11-22 11:37:15 +01:00

..

controlflow.c

try to make synthetic tests more explicit

2016-11-04 19:32:42 +01:00

data.c

synthetic test: fix compiler errors

2016-11-07 09:30:17 +01:00

functions.c

synthetic tests: renamed functions

2016-11-22 11:37:15 +01:00

Makefile

synthetic tests: add ub.c

2016-11-03 14:51:18 +01:00

report.py

synthetic test: renamed tests. tweak report.

2016-11-07 08:48:38 +01:00

ub.c

test/synthetic: added pointer alias test case. renamed functions.

2016-11-05 16:56:30 +01:00