diff options
| author | Jack Koenig | 2021-09-13 20:42:27 -0700 |
|---|---|---|
| committer | GitHub | 2021-09-13 20:42:27 -0700 |
| commit | 8421e96f04831fc61ddd5efa30f0ebc84f27c596 (patch) | |
| tree | e28acb095c9e4a9fcff0f9c1856773d462aa2833 /src/test | |
| parent | beb5bc9850fd69adff36f38fb00a1f68bb1918fe (diff) | |
Bump Scala to 2.12.14 and 2.13.6 (#2356)
This required also bumping sbt-scalafix to bring in a newer version of
semanticdb. The new version of semanticdb had an issue with a regex in
SMTLib, fixed by fixing the way '$' is escaped in the regex.
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions