blob: d84b85f7e490ca6660131672a1268a83d9082d10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
entity test is
end test;
architecture only of test is
begin -- only
doit: process
variable one, two, three : boolean := false;
begin -- process doit
if true then
one := true;
else
end if;
if false then
one := false;
else
two := true;
end if;
if false then
one := false;
elsif true then
three := true;
else
two := false;
end if;
assert one report "TEST FAILED - first if test failed" severity failure;
assert two report "TEST FAILED - second if test failed" severity failure;
assert three report "TEST FAILED - third if test failed" severity failure;
report "TEST PASSED" severity note;
wait;
end process doit;
end only;
|