spot/tests/core
Alexandre Duret-Lutz f6c7ed54c7 update gnulib
This comes from gnulib 348402f2aac342bc925b7aaea9ee3cc353f427a9 plus
a custom patch to support compilation of arpg in C++11.

* lib/hard-locale.c, lib/hard-locale.h, m4/hard-locale.m4, m4/ltargz.m4:
New files.
* lib/Makefile.am, lib/alloca.in.h, lib/argmatch.c, lib/argmatch.h,
lib/argp-ba.c, lib/argp-eexst.c, lib/argp-fmtstream.c,
lib/argp-fmtstream.h, lib/argp-fs-xinl.c, lib/argp-help.c,
lib/argp-namefrob.h, lib/argp-parse.c, lib/argp-pin.c, lib/argp-pv.c,
lib/argp-pvh.c, lib/argp-xinl.c, lib/argp.h, lib/asnprintf.c,
lib/basename-lgpl.c, lib/c-ctype.h, lib/c-strcase.h, lib/c-strcasecmp.c,
lib/c-strcaseeq.h, lib/c-strncasecmp.c, lib/config.charset,
lib/dirname-lgpl.c, lib/dirname.h, lib/dosname.h, lib/errno.in.h,
lib/error.c, lib/error.h, lib/exitfail.c, lib/exitfail.h,
lib/fcntl.in.h, lib/float+.h, lib/float.c, lib/float.in.h, lib/getopt.c,
lib/getopt.in.h, lib/getopt1.c, lib/getopt_int.h, lib/gettext.h,
lib/gettimeofday.c, lib/hard-locale.h, lib/intprops.h, lib/isatty.c,
lib/itold.c, lib/localcharset.c, lib/localcharset.h, lib/lstat.c,
lib/malloc.c, lib/mbrtowc.c, lib/mbsinit.c, lib/memchr.c, lib/mempcpy.c,
lib/mkstemp.c, lib/mkstemps.c, lib/msvc-inval.c, lib/msvc-inval.h,
lib/msvc-nothrow.c, lib/msvc-nothrow.h, lib/pathmax.h,
lib/printf-args.c, lib/printf-args.h, lib/printf-parse.c,
lib/printf-parse.h, lib/progname.c, lib/progname.h, lib/quote.h,
lib/quotearg.c, lib/quotearg.h, lib/rawmemchr.c, lib/ref-add.sin,
lib/ref-del.sin, lib/secure_getenv.c, lib/size_max.h, lib/sleep.c,
lib/stat.c, lib/stdalign.in.h, lib/stdbool.in.h, lib/stddef.in.h,
lib/stdint.in.h, lib/stdio.in.h, lib/stdlib.in.h, lib/stpcpy.c,
lib/strcasecmp.c, lib/strchrnul.c, lib/streq.h, lib/strerror-override.c,
lib/strerror-override.h, lib/strerror.c, lib/string.in.h,
lib/strings.in.h, lib/stripslash.c, lib/strncasecmp.c, lib/strndup.c,
lib/strnlen.c, lib/strverscmp.c, lib/sys_stat.in.h, lib/sys_time.in.h,
lib/sys_types.in.h, lib/sys_wait.in.h, lib/sysexits.in.h,
lib/tempname.c, lib/tempname.h, lib/time.in.h, lib/unistd.in.h,
lib/vasnprintf.c, lib/vasnprintf.h, lib/verify.h, lib/vsnprintf.c,
lib/wchar.in.h, lib/wctype.in.h, lib/xalloc-die.c,
lib/xalloc-oversized.h, lib/xalloc.h, lib/xmalloc.c, lib/xsize.h,
m4/00gnulib.m4, m4/absolute-header.m4, m4/alloca.m4, m4/argp.m4,
m4/codeset.m4, m4/configmake.m4, m4/dirname.m4, m4/double-slash-root.m4,
m4/errno_h.m4, m4/error.m4, m4/exponentd.m4, m4/extensions.m4,
m4/extern-inline.m4, m4/fcntl-o.m4, m4/fcntl_h.m4, m4/float_h.m4,
m4/getopt.m4, m4/gettimeofday.m4, m4/glibc21.m4, m4/gnulib-cache.m4,
m4/gnulib-common.m4, m4/gnulib-comp.m4, m4/gnulib-tool.m4,
m4/include_next.m4, m4/intmax_t.m4, m4/inttypes_h.m4, m4/isatty.m4,
m4/largefile.m4, m4/localcharset.m4, m4/locale-fr.m4, m4/locale-ja.m4,
m4/locale-zh.m4, m4/longlong.m4, m4/lstat.m4, m4/malloc.m4,
m4/math_h.m4, m4/mbrtowc.m4, m4/mbsinit.m4, m4/mbstate_t.m4,
m4/memchr.m4, m4/mempcpy.m4, m4/mkstemp.m4, m4/mkstemps.m4,
m4/mmap-anon.m4, m4/msvc-inval.m4, m4/msvc-nothrow.m4, m4/multiarch.m4,
m4/nocrash.m4, m4/off_t.m4, m4/pathmax.m4, m4/printf.m4, m4/quote.m4,
m4/quotearg.m4, m4/rawmemchr.m4, m4/secure_getenv.m4, m4/size_max.m4,
m4/sleep.m4, m4/ssize_t.m4, m4/stat.m4, m4/stdalign.m4, m4/stdbool.m4,
m4/stddef_h.m4, m4/stdint.m4, m4/stdint_h.m4, m4/stdio_h.m4,
m4/stdlib_h.m4, m4/stpcpy.m4, m4/strcase.m4, m4/strchrnul.m4,
m4/strerror.m4, m4/string_h.m4, m4/strings_h.m4, m4/strndup.m4,
m4/strnlen.m4, m4/strverscmp.m4, m4/sys_socket_h.m4, m4/sys_stat_h.m4,
m4/sys_time_h.m4, m4/sys_types_h.m4, m4/sys_wait_h.m4, m4/sysexits.m4,
m4/tempname.m4, m4/time_h.m4, m4/unistd_h.m4, m4/vasnprintf.m4,
m4/vsnprintf.m4, m4/warn-on-use.m4, m4/wchar_h.m4, m4/wchar_t.m4,
m4/wctype_h.m4, m4/wint_t.m4, m4/xalloc.m4, m4/xsize.m4,
tests/core/randtgba.cc, tools/snippet/arg-nonnull.h,
tools/snippet/c++defs.h, tools/snippet/warn-on-use.h: Update.
2016-07-29 10:59:21 +02:00
..
.gitignore * tests/core/.gitignore: Ignore safra. 2016-02-15 17:17:10 +01:00
acc.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
acc.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
acc2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
acc_word.test minimize_wdba: fix nondeterministic execution 2016-07-25 14:02:40 +02:00
babiak.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
bare.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
basimul.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
bitvect.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
bitvect.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
checkpsl.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
checkta.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
complement.test autfilt: complement of non-deterministic automata as well 2016-02-12 17:00:20 +01:00
complementation.test get read of twa_safra_complement 2016-02-12 15:09:37 +01:00
complete.test fix complete 2016-01-14 17:16:17 +01:00
consterm.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
consterm.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
cycles.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
dbacomp.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
defs.in move ltsmin tests to tests/ltsmin/ 2016-01-05 11:52:24 +01:00
degendet.test degen: fix handling of degen-lcache=1 2016-06-21 18:03:02 +02:00
degenid.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
degenlskip.test * tests/core/degenlskip.test: Typo. 2016-06-21 17:43:46 +02:00
det.test simplifier: new LTL simplifications 2016-07-19 16:02:19 +02:00
dfs.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
dra2dba.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
dstar.test bin: make HOA the default output 2016-01-08 13:42:57 +01:00
dupexp.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
emptchk.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
emptchk.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
emptchke.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
emptchkr.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
equals.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
equalsf.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
eventuniv.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
exclusive-ltl.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
exclusive-tgba.test autfilt: fix simpification of exclusive AP 2016-05-01 15:06:21 +02:00
explpro2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
explpro3.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
explpro4.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
explprod.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
genltl.test genltl: support --positive and --negative 2016-07-18 23:23:01 +02:00
graph.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
graph.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ikwiad.cc * tests/core/ikwiad.cc: Rewrite the help text without std::endl. 2016-03-13 13:37:34 +01:00
included.test autfilt: add support for --are-equivalent 2016-02-12 19:53:52 +01:00
intvcmp2.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
intvcomp.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
intvcomp.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
isomorph.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
isop.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
kind.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
kind.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
kripke.test rename parse_print_test as kripkecat 2016-02-03 21:19:30 +01:00
kripkecat.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
latex.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
lbt.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
lbttparse.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
length.cc parsetl: change the interface to return a parsed_formula 2016-02-17 20:31:58 +01:00
length.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
lenient.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltl2dstar.test stutter: complement non-det automata via determinization 2016-07-19 13:03:37 +02:00
ltl2dstar2.test ltlfilt: replace --[b]size-max/min by --[b]size 2016-02-15 16:10:07 +01:00
ltl2dstar3.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltl2dstar4.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltl2neverclaim-lbtt.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltl2neverclaim.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltl2ta.test degen: fix handling of degen-lcache=1 2016-06-21 18:03:02 +02:00
ltl2ta2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltl2tgba.test honor ap() when counting transitions 2016-05-01 15:06:21 +02:00
ltl2tgba2.test genltl: add formulas from three papers 2016-05-05 18:39:13 +02:00
ltl3dra.test relabel: do not unregister old AP that are also new 2016-07-07 15:57:14 +02:00
ltlcounter.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltlcross.test ltlcross: add option --determinize 2016-02-15 19:16:45 +01:00
ltlcross2.test option_map: Diagnose unused option on request 2016-06-22 20:57:53 +02:00
ltlcross3.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltlcross4.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltlcrossce.test ltlcross: add option --determinize 2016-02-15 19:16:45 +01:00
ltlcrossce2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltlcrossgrind.test fix a few copyright headers 2016-06-14 11:32:59 +02:00
ltldo.test bin: overhaul default input selection 2016-07-19 21:55:12 +02:00
ltldo2.test bin: make HOA the default output 2016-01-08 13:42:57 +01:00
ltlfilt.test bin: improve range diagnostic 2016-06-21 18:15:08 +02:00
ltlgrind.test fix a few copyright headers 2016-06-14 11:32:59 +02:00
ltlprod.cc parsetl: change the interface to return a parsed_formula 2016-02-17 20:31:58 +01:00
ltlprod.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltlrel.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
ltlrel.test fix a few copyright headers 2016-06-14 11:32:59 +02:00
lunabbrev.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
maskacc.test print_hoa: output all registered APs 2016-05-01 15:09:06 +02:00
maskkeep.test print_hoa: output all registered APs 2016-05-01 15:09:06 +02:00
minusx.test bin: overhaul default input selection 2016-07-19 21:55:12 +02:00
monitor.test bin: make HOA the default output 2016-01-08 13:42:57 +01:00
nenoform.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
neverclaimread.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ngraph.cc active -Wsuggest-override where supported 2016-07-27 10:30:10 +02:00
ngraph.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
nondet.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
obligation.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
optba.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
origin Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
parse.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
parseaut.test parseaut: add support for negated properties 2016-01-14 16:58:17 +01:00
parseerr.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
prodor.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
rand.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
randaut.test parse_acc: cleanup error reporting 2016-02-04 10:48:40 +01:00
randomize.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
randpsl.test ltlfilt: replace --[b]size-max/min by --[b]size 2016-02-15 16:10:07 +01:00
randtgba.cc update gnulib 2016-07-29 10:59:21 +02:00
randtgba.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
readltl.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
readsat.cc Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
readsat.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
readsave.test bin: overhaul default input selection 2016-07-19 21:55:12 +02:00
reduc.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
reduc.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
reduc0.test simplify: add missing recursion 2016-02-12 08:18:39 +01:00
reduccmp.test simplifier: new PSL simplifications 2016-07-19 17:57:16 +02:00
reducpsl.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
remfin.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
remove_x.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
remprop.test autfilt: add --unused-ap and --used-ap 2016-05-01 13:29:03 +02:00
renault.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
safra.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
safra.test determinize: add tests for the bug Alexandre L fixed 2016-02-12 14:07:28 +01:00
satmin.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
satmin2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
sbacc.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
scc.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
sccdot.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
sccsimpl.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
sepsets.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
sim2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
sim3.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
simdet.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
spotlbtt.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
spotlbtt2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
streett.test new test case to improve coverage stats 2016-07-19 13:35:47 +02:00
strength.test print_hoa: output all registered APs 2016-05-01 15:09:06 +02:00
stutter-ltl.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
stutter-tgba.test autfilt: add --stutter-invariant 2016-07-19 13:20:08 +02:00
syntimpl.cc sanity: Replace tabulars by spaces in *.cc *.hh *.hxx 2016-03-10 17:40:46 +01:00
syntimpl.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
taatgba.cc Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
taatgba.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
tgbagraph.test highlight: improve support for highlighted edges 2016-07-18 23:23:01 +02:00
tostring.cc parsetl: change the interface to return a parsed_formula 2016-02-17 20:31:58 +01:00
tostring.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
tripprod.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
trival.cc Force cast to please clang on OSX 2016-02-15 10:42:11 +01:00
trival.test trival: new class for tri-valued logic 2016-01-13 17:57:54 +01:00
tunabbrev.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
tunenoform.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
twagraph.cc highlight: improve support for highlighted edges 2016-07-18 23:23:01 +02:00
unabbrevwm.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
unambig.test bin: overhaul default input selection 2016-07-19 21:55:12 +02:00
uniq.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
utf8.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
uwrm.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
wdba.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
wdba2.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00