David Tonhofer

A rare segfault while running tests

1

This is the first time I see this: SWI Prolog 8.3.5 on Linux Fedora 30. ``` 3/69 Test: swipl:core Command: "swipl-devel_original/build/src/swipl" "-f" "none" "--no-packs" "-q" "swipl-devel_original/src/test.pl" "--no-core" "core" Directory: swipl-devel_original/build/src...

Running the test suite says "all tests passed" but actually not.

1

I am running the test suite after some modifications to JPL. The compilation process says: "all tests passed". However, when taking a look at the logfile in `build/Testing/Temporary/LastTest.log`, and we...

**Describe the bug** This is about the website: https://www.gecode.org/ In the middle of the page you see > _(it implements more than 70 constraints from the [Global Constraint Catalog](http://www.emn.fr/z-info/sdemasse/gccat/) and...

This can be included in the project's code base, if interest. ``` #!/usr/bin/perl use warnings; use strict; use Text::CSV; # http://search.cpan.org/~ishigaki/Text-CSV-1.95/lib/Text/CSV.pm use Carp; # http://search.cpan.org/~rjbs/Carp-1.38/lib/Carp.pm my $airportsFile = 'airport-codes.csv'; my...

https://en.wikipedia.org/wiki/Prince_Abdul_Majeed_bin_Abdulaziz_Domestic_Airport The ident is "ULH" (which is the IATA code), the ICAO code can be found in te "gps_code" field

https://en.wikipedia.org/wiki/Kenneth_Kaunda_International_Airport The ident is "FLLS" The ICAO code "FLKK" can be found in the "gps_code"

This is for https://en.wikipedia.org/wiki/Issyk-Kul_International_Airport The ident is "UAFL" (not an ICAO code), the ICAO code is in the "gps_code" field

This is https://en.wikipedia.org/wiki/Guelmim_Airport The "ident" is given as "MA-GLN", the ICAO code is in the "gps_code" field instead.

This is https://en.wikipedia.org/wiki/EuroAirport_Basel_Mulhouse_Freiburg Actually LSZM and LFSB are the same and LFSB is in the dataset

That is Hamad International Airport https://en.wikipedia.org/wiki/Hamad_International_Airport Well, it _is_ in there but with: ident = QA-0001 (this seems to be a placeholder; it does not look like an ICAO code...