1 2 3 4 5 6 7 8 9
entity repro3 is end repro3; architecture behav of repro3 is constant c : character := 'e'; constant cond : boolean := c /= 'a'; begin assert cond; end behav;