projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4af7ae6) | patch
Adding detection of TTY vs. piped input for interactive mode
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 20 Oct 2010 21:49:10 +0000 (21:49 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 20 Oct 2010 21:49:10 +0000 (21:49 +0000)
commit69cbd24de47f4a5f72cfe85c346056f1a0c30d90
treead409726f19a366bf7f586d0471b79d446cd1da9tree
parent4af7ae6c56153347035656a2596254c1a8a17668commit | diff
Adding detection of TTY vs. piped input for interactive mode
src/main/main.cpp diff | blob | history