alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tests: cover error handling of ltlfilt -r

Browse source 
* tests/core/ltlfilt.test: Add test cases.
This commit is contained in:
Alexandre Duret-Lutz 2018-05-16 16:58:27 +02:00
parent a94cc623ad
commit 589a4035bc
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
tests/core/ltlfilt.test
View file

@ -1,6 +1,6 @@
#! /bin/sh #! /bin/sh
# -*- coding: utf-8 -*- # -*- coding: utf-8 -*-
# Copyright (C) 2013-2017 Laboratoire de Recherche et Développement de # Copyright (C) 2013-2018 Laboratoire de Recherche et Développement de
# l'Epita (LRDE). # l'Epita (LRDE).
# #
# This file is part of Spot, a model checking library. # This file is part of Spot, a model checking library.
@ -385,4 +385,8 @@ ltlfilt out/2 > out.2
diff out out.1 diff out out.1
diff out out.2 diff out out.2
true test a = `ltlfilt -r2 -f a`
ltlfilt -r4 -f a 2>err && exit 1
grep "invalid simplification level '4'" err
ltlfilt -ra -f a 2>err && exit 1
grep "invalid simplification level 'a'" err