Fix option check
Update the format library
Update expr-test