project('acsl-example', 'c',
  version : '1.0.0',
  default_options : ['warning_level=3'])

# Include directories
inc_dir = include_directories('inc')

# Process subdirectories
subdir('src')

# Add individual find function tests
find_files = ['find1.c', 'find2.c', 'find3.c']
foreach find_file : find_files
  test_name = find_file.replace('.c', '')
  test(test_name,
    find_program('bash'),
    args : [files('test/test_frama_c_single.sh'), find_file],
    workdir : meson.current_source_dir() / 'test',
    timeout : 30,
    suite : 'proof')
endforeach