From 589a4035bcdcd76480d729f9694bf5502b932a35 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 16 May 2018 16:58:27 +0200 Subject: [PATCH] tests: cover error handling of ltlfilt -r * tests/core/ltlfilt.test: Add test cases. --- tests/core/ltlfilt.test | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/tests/core/ltlfilt.test b/tests/core/ltlfilt.test index aef29b43f..6ed9ad874 100755 --- a/tests/core/ltlfilt.test +++ b/tests/core/ltlfilt.test @@ -1,6 +1,6 @@ #! /bin/sh # -*- 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). # # 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.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