Skip to content
  • Ralf Jung's avatar
    Make CAS slightly more realistic · 53216eb5
    Ralf Jung authored
    This restricts CAS to only be able to compare literals with literals, NONEV with NONEV and NONEV with SOMEV for a literal.
    53216eb5