Line data    Source code

       1             : /*
       2             :  * SPDX-License-Identifier: MPL-2.0
       3             :  *
       4             :  * This Source Code Form is subject to the terms of the Mozilla Public
       5             :  * License, v. 2.0.  If a copy of the MPL was not distributed with this
       6             :  * file, You can obtain one at http://mozilla.org/MPL/2.0/.
       7             :  *
       8             :  * Copyright 2024, 2025 MonetDB Foundation;
       9             :  * Copyright August 2008 - 2023 MonetDB B.V.;
      10             :  * Copyright 1997 - July 2008 CWI.
      11             :  */
      12             : 
      13             : #define _POSIX_C_SOURCE 200809L
      14             : 
      15             : #include "murltest.h"
      16             : 
      17             : #include <errno.h>
      18             : #include <stdbool.h>
      19             : #include <stdlib.h>
      20             : #include <string.h>
      21             : 
      22             : char *USAGE = "Usage: murltest [-c] [-v[v[v]]] TESTFILES..";
      23             : 
      24             : static bool
      25           2 : run_file(const char *filename, int verbose)
      26             : {
      27           2 :         stream *s;
      28           2 :         if (strcmp(filename, "-") == 0) {
      29           0 :                 s = stdin_rastream();
      30             :         } else {
      31           2 :                 s = open_rastream(filename);
      32           2 :                 if (!s || mnstr_errnr(s) != MNSTR_NO__ERROR) {
      33           0 :                         fprintf(stderr, "Could not open %s: %s\n", filename, mnstr_peek_error(s));
      34           0 :                         return false;
      35             :                 }
      36             :         }
      37             : 
      38           2 :         bool ok = run_tests(s, verbose);
      39             : 
      40           2 :         close_stream(s);
      41           2 :         return ok;
      42             : }
      43             : 
      44           2 : static bool run_files(char **files, int verbose)
      45             : {
      46           4 :         while (*files) {
      47           2 :                 if (!run_file(*files, verbose))
      48             :                         return false;
      49           2 :                 files++;
      50             :         }
      51             :         return true;
      52             : }
      53             : 
      54             : int
      55           2 : main(int argc, char **argv)
      56             : {
      57           2 :         int verbose = 0;
      58             : 
      59           2 :         if (mnstr_init() != 0) {
      60           0 :                 fprintf(stderr, "could not initialize libstream\n");
      61           0 :                 return 1;
      62             :         }
      63             : 
      64           2 :         char **files = calloc(argc + 1, sizeof(char*));
      65           2 :         if (!files)
      66             :                 return 3;
      67             :         char **next_slot = &files[0];
      68           5 :         for (int i = 1; i < argc; i++) {
      69           3 :                 char *arg = argv[i];
      70           3 :                 if (arg[0] != '-') {
      71           2 :                         *next_slot++ = arg;
      72           2 :                         continue;
      73             :                 }
      74           1 :                 if (strcmp(arg, "-c") == 0) {
      75           1 :                         use_custom_allocator();
      76           0 :                 }else if (arg[1] == 'v') {
      77           0 :                         char *p = &arg[1];
      78           0 :                         while (*p == 'v') {
      79           0 :                                 p++;
      80           0 :                                 verbose++;
      81             :                         }
      82           0 :                         if (*p == '\0')
      83           0 :                                 continue;
      84           0 :                         fprintf(stderr, "invalid letter %c in flag %s\n", *p, arg);
      85           0 :                         free(files);
      86           0 :                         return 1;
      87             :                 } else {
      88           0 :                         fprintf(stderr, "invalid flag %s\n", arg);
      89           0 :                         free(files);
      90           0 :                         return 1;
      91             :                 }
      92             :         }
      93             : 
      94           2 :         bool ok = run_files(files, verbose);
      95             : 
      96           2 :         free(files);
      97           2 :         return ok ? EXIT_SUCCESS : EXIT_FAILURE;
      98             : }