diff --git a/tests/core/genaut.test b/tests/core/genaut.test
index cddbe0c3f..1ed813c31 100644
--- a/tests/core/genaut.test
+++ b/tests/core/genaut.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2017 Laboratoire de Recherche et Développement
+# Copyright (C) 2017, 2018 Laboratoire de Recherche et Développement
 # de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -49,3 +49,10 @@ genaut --ks-nca=0 2>err && exit 1
 grep positive err
 genaut --l-nba=0 2>err && exit 1
 grep positive err
+
+genaut --l-nba='' 2>err && exit 1
+grep 'invalid empty range' err
+genaut --l-nba='1..3?' 2>err && exit 1
+grep 'invalid range.*trailing garbage' err
+genaut --l-nba='1..' 2>err && exit 1
+grep 'invalid range.*missing end' err