
./flcheck_macos -buddy -stdio < stdio-flux.in > buddy-stdio-flux.out

./flcheck_macos -buddy -stdio < stdio-policy-enf-left.in > buddy-stdio-policy-enf-left.out

./flcheck_macos -buddy -stdio < stdio-policy-enf-right.in > buddy-stdio-policy-enf-right.out

./flcheck_macos -buddy -stdio < stdio-policy-keys-left-1.in >  buddy-stdio-policy-keys-left-1.out

./flcheck_macos -buddy -stdio < stdio-policy-keys-left-new.in >  buddy-stdio-policy-keys-left-new.out

./flcheck_macos -buddy -stdio < stdio-policy-keys-left.in >  buddy-stdio-policy-keys-left.out

./flcheck_macos -buddy -stdio < stdio-policy-keys-right-1.in >  buddy-stdio-policy-keys-right-1.out

./flcheck_macos -buddy -stdio < stdio-policy-keys-right.in >  buddy-stdio-policy-keys-right.out

./flcheck_macos -buddy -stdio < stdio-policy-ver-left.in >  buddy-stdio-policy-ver-left.out

./flcheck_macos -buddy -stdio < stdio-policy-ver-right.in >  buddy-stdio-policy-ver-right.out

./flcheck_macos -buddy -stdio < stdio-regression-past.in >  buddy-stdio-regression-past.out

./flcheck_macos -buddy -stdio < stdio-regression.in >  buddy-stdio-regression.out

./flcheck_macos -buddy -stdio < stdio-test.in >  buddy-stdio-test.out





