File: testing.h

package info (click to toggle)
libm4ri 20240729-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,180 kB
  • sloc: ansic: 12,211; makefile: 140; sh: 72
file content (15 lines) | stat: -rw-r--r-- 367 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
#ifndef TESTING_H
#define TESTING_H

#include <m4ri/misc.h>
#include <m4ri/mzd.h>

#ifdef _MSC_VER
#define srandom srand
#endif

mzd_t *mzd_init_test_matrix_random(rci_t M, rci_t N, rci_t m, rci_t n, word pattern, mzd_t **A);
void mzd_free_test_matrix_random(mzd_t *A, mzd_t *a);
int mzd_check_pattern(mzd_t *A, rci_t m, rci_t n, word pattern);

#endif  // TESTING_H