all:
	bapbundle remove cwe_checker_unit_tests.plugin
	bapbuild -r -Is analysis,checkers,utils cwe_checker_unit_tests.plugin -pkgs core,alcotest,yojson,unix,ppx_jane,cwe_checker_core
	bapbundle install cwe_checker_unit_tests.plugin
	bap ../artificial_samples/build/arrays_x64_gcc.out --pass=cwe-checker-unit-tests
	bapbundle remove cwe_checker_unit_tests.plugin

clean:
	bapbuild -clean