projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e89dbac) | patch
Add identifier name for side condition. (#4902)
authorAlex Ozdemir <aozdemir@hmc.edu>
Mon, 17 Aug 2020 23:28:58 +0000 (16:28 -0700)
committerGitHub <noreply@github.com>
Mon, 17 Aug 2020 23:28:58 +0000 (16:28 -0700)
commit835c79635e241366feec5fa34656dc98d1a77fef
tree09ca754c5787abe19be3152c3ddc9ea30598f085tree
parente89dbac726ba53a7202929fddadb8cd024ec6791commit | diff
Add identifier name for side condition. (#4902)

```
(! sc (^ ...)
      ^ this is the identifier!
```

We require that side-conditions have an identifier. We usually provide
this identifier, but in this one case we did not.

The old lexer accepted the side condition without the identifier. The
new one does not.
test/signatures/drat_test.plf diff | blob | history