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

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

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

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

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

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

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

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

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

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

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

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

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






