search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

fix bug of bigSubstring in ASTExtractors #1543

Open LioTree opened 1 month ago

LioTree commented 1 month ago

issue: https://github.com/epfl-lara/stainless/issues/1542

CLAassistant commented 1 month ago

CLA assistant check
All committers have signed the CLA.