File: meson.build

package info (click to toggle)
bitwuzla 0.8.2-1
  • links: PTS, VCS
  • area: main
  • in suites:
  • size: 43,292 kB
  • sloc: cpp: 94,870; python: 3,254; ansic: 1,613; sh: 50; makefile: 10
file content (16 lines) | stat: -rw-r--r-- 436 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
pytest = find_program('pytest')

if pytest.found()
  tests = ['test_api']

  fs = import('fs')
  env = ['PYTHONPATH=' + fs.parent(bitwuzla_py_ext.full_path())]
  foreach t : tests
    file = t + '.py'
    args = [join_paths(meson.current_source_dir(), file)]
    test(t, pytest, args: args, suite: 'python', env: env,
         depends: bitwuzla_py_ext)
  endforeach
else
  warning('pytest not found, disabling python unit tests')
endif