This directory contains example specifications triggering known bugs.
