[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
'default' is a keyword
- Subject: 'default' is a keyword
- From: Chris Warburton
- Date: Mon, 10 Jul 2017 17:22:23 +0100
- Resolution: fixed
- State: resolved
Pattern matches can include a 'default' case, which matches when the
others don't.
We don't currently handle this. Add tests which flag this behaviour,
then fix.
See tip2015/escape_Injective.smt2 as an example.