socsvn - Revision 337283: /soc2017/kneitinger/libbe-head/cddl/tests