projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01dd4f1) | patch
Move and enhance python API grammar tests (#6538)
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 17 May 2021 18:00:41 +0000 (11:00 -0700)
committerGitHub <noreply@github.com>
Mon, 17 May 2021 18:00:41 +0000 (11:00 -0700)
commit91e41bcb666d25b19074537f3f2ee98281592616
tree64482e9081232d76a2c810574ca6dcb8881e27f1tree
parent01dd4f1aadcfc05f26f2ca00bd8afaa5c63ecb6ccommit | diff
Move and enhance python API grammar tests (#6538)

The existing test for python API grammar is moved to the right location, `yapf`ed, and changed according to the new style of python API tests. Additionally, minor changes are introduced in order to be an exact translation of https://github.com/cvc5/cvc5/blob/master/test/unit/api/grammar_black.cpp
test/api/python/CMakeLists.txt diff | blob | history
test/api/python/test_grammar.py [deleted file] blob | history
test/python/CMakeLists.txt diff | blob | history
test/python/unit/api/test_grammar.py [new file with mode: 0644] blob