TESTS FOR THE TDDA CONSTRAINTS EXAMPLES
=======================================

These tests check that the examples we use work correctly.

They are generated by gentest (which makes them slightly self-referential.)

Generated by executing generate_tests.sh
