tests/conformance/sec9_13/mod2.yang

module mod2 {
    prefix abc;
    namespace "urn:cesnet:mod2";

    typedef my {
        type instance-identifier {
            require-instance "flase";  // bad value
        }
    }
}