projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b14e8b) | patch
unnecessary ^ in regular expression; warning produced on smt-exec
authorMorgan Deters <mdeters@gmail.com>
Mon, 18 Jun 2012 21:55:25 +0000 (21:55 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 18 Jun 2012 21:55:25 +0000 (21:55 +0000)
commita850215587ed07a536f77333c729b32966881716
tree023a4b304d56a3fc98e86f786de659828778f9b2tree
parent3b14e8b30e9fe46c1919e7e732a4641698f61778commit | diff
unnecessary ^ in regular expression; warning produced on smt-exec
contrib/run-script-smtcomp2012 diff | blob | history