Turn off whitebox

This commit is contained in:
Matthew Thompson 2023-08-30 08:26:04 -04:00 committed by Thomas Jensen
parent 069197052e
commit 539f215e35

View File

@ -58,8 +58,8 @@ jobs:
- name: make cov
run: make cov LEX=/usr/local/opt/flex/bin/flex YACC=/usr/local/opt/bison/bin/bison
- name: Run white-box tests
run: make utest LEX=/usr/local/opt/flex/bin/flex YACC=/usr/local/opt/bison/bin/bison
#- name: Run white-box tests
#run: make utest LEX=/usr/local/opt/flex/bin/flex YACC=/usr/local/opt/bison/bin/bison
- name: Run black-box tests
run: make covtest LEX=/usr/local/opt/flex/bin/flex YACC=/usr/local/opt/bison/bin/bison