1entity test is
2end test;
3
4architecture only of test is
5  type small is range 1 to 3;
6begin  -- only
7p: process
8begin  -- process p
9  assert small'val(1) = 1 report "TEST FAILED val pos 1" severity FAILURE;
10  report "TEST PASSED val pos 1" severity NOTE;
11  assert small'val(2) = 2 report "TEST FAILED val pos 2" severity FAILURE;
12  report "TEST PASSED val pos 2" severity NOTE;
13  assert small'val(3) = 3 report "TEST FAILED val pos 3" severity FAILURE;
14  report "TEST PASSED val pos 3" severity NOTE;
15  wait;
16end process p;
17end only;
18