diff options
author | Mathieu Lirzin <mthl@gnu.org> | 2016-07-03 16:50:27 +0200 |
---|---|---|
committer | Mathieu Lirzin <mthl@gnu.org> | 2016-07-03 16:50:27 +0200 |
commit | fe30eb7e82e1cb3c2e3e4071df1f33ef459d9ae2 (patch) | |
tree | 6e2794a8fd16fe6598d30da1240d7e63e09fb280 /tests | |
parent | 987f83b000bcc0549c685d652fddd8a742ee7dca (diff) | |
download | cuirass-fe30eb7e82e1cb3c2e3e4071df1f33ef459d9ae2.tar cuirass-fe30eb7e82e1cb3c2e3e4071df1f33ef459d9ae2.tar.gz |
Add 'basic.sh' test.
Diffstat (limited to 'tests')
-rw-r--r-- | tests/basic.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/tests/basic.sh b/tests/basic.sh new file mode 100644 index 0000000..f265958 --- /dev/null +++ b/tests/basic.sh @@ -0,0 +1,24 @@ +# basic.sh -- check cuirass basic behavior +# Copyright © 2016 Mathieu Lirzin <mthl@gnu.org> + +# This file is part of Cuirass. + +# Cuirass is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. + +# Cuirass is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. + +# You should have received a copy of the GNU General Public License +# along with Cuirass. If not, see <http://www.gnu.org/licenses/>. + +db_file=${testbuilddir}/test.db +spec_file=${testsrcdir}/hello-subset.scm + +trap 'rm -f "$db_file"' EXIT + +cuirass --database $db_file --one-shot $spec_file |