projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: adc2269) | patch
Allow metadata lines in test files to have leading spaces (#1799)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 20 Apr 2018 17:26:50 +0000 (10:26 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 20 Apr 2018 17:26:50 +0000 (10:26 -0700)
commitbd2f0ebc852a877e1bec4a8c2efca1539db8e4fb
tree8d2c49f602550c241ede463acab2adf37cc3ca74tree
parentadc22697d4c44c54993aa2048dcbd705cbebd466commit | diff
Allow metadata lines in test files to have leading spaces (#1799)

Currently, lines like `;EXPECT: sat` instead of `; EXPECT: sat` cause problems. This PR fixes it.
test/regress/run_regression.py diff | blob | history