@options("--timeout=5") annotations working. @options("timeout" -> "5"). @options("--debug=synthesis", "--solvers=smt-z3").
@options("--timeout=5") annotations working.
@options("timeout" -> "5").
@options("--debug=synthesis", "--solvers=smt-z3").

Fixed parsing error in string matrix.
Fixed the wrong use of options in StringTheorems.scala

epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless,epfl-lara/stainless