A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
335
stars
62
forks
source link
Fixed handling of paths containing spaces by some bash files #122
Closed
femigr closed 4 years ago
Signed-off-by: Felix femigr@gmail.com