projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7924fc) | patch
fix metadata for a test (#5546)
authoryoni206 <yoni206@users.noreply.github.com>
Tue, 1 Dec 2020 02:42:19 +0000 (18:42 -0800)
committerGitHub <noreply@github.com>
Tue, 1 Dec 2020 02:42:19 +0000 (20:42 -0600)
commitacdffc72bd559fa4b64da2ee2b3373208354e7a1
tree70e31cbda3769384e45d2762163e11793832d8dftree
parente7924fc22d220909c1b3eb0e41a1cdb624a69be7commit | diff
fix metadata for a test (#5546)

A COMMAND was used instead of COMMAND-LINE.
test/regress/regress0/bv/bv_to_int_5281.smt2 diff | blob | history