[mip] Add CI test.

This commit is contained in:
siivonek 2022-02-09 03:52:27 +02:00
parent 769703ea71
commit 7577d5e4fb

View file

@ -11,6 +11,7 @@ valgrind_test $common_args --rd=1
valgrind_test $common_args --rd=2 --no-transform-skip --qp 37
valgrind_test $common_args --rd=2 --no-transform-skip --qp 37 --signhide --rdoq
valgrind_test $common_args --rd=2 --mrl
valgrind_test $common_args --rd=2 --mip
valgrind_test $common_args --rd=3
valgrind_test $common_args --alf=full --no-wpp --threads=0 --owf=0
valgrind_test $common_args --alf=full --wpp --threads=1