REGR: add regression test for Issue #75#82

sipma merged 1 commit into

static-analysis-engineering:masterstatic-analysis-engineering/CodeHawk-C:masterfrom

sipma:conversionssipma/CodeHawk-C:conversionsCopy head branch name to clipboard