From 654c57097acb8b254cd90f5c013a31ad5577eccb Mon Sep 17 00:00:00 2001 From: Brian Fu Date: Wed, 31 Jul 2024 12:45:47 +0000 Subject: [PATCH] av --- debug/scripts/run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debug/scripts/run.sh b/debug/scripts/run.sh index 0d19a8a5..306c8d56 100755 --- a/debug/scripts/run.sh +++ b/debug/scripts/run.sh @@ -30,7 +30,7 @@ TEST_INPUTS=50; # Default: 50 (Less inputs, more test cases better) # python $RVZR_DIR/revizor.py tfuzz -s $RVZR_DIR/base.json -n $TEST_PROGS -i $TEST_INPUTS -c $CFG_DIR/template.yaml -w $VIOL_DIR -t $CFG_DIR/template.asm &> $SCRIPT_DIR/output.out; echo "Noninterference Template Run"; -python $RVZR_DIR/revizor.py tfuzz -s $RVZR_DIR/base.json -n $TEST_PROGS -i $TEST_INPUTS -c $CFG_DIR/template_nonif.yaml -w $VIOL_DIR -t $CFG_DIR/template_onlyV.asm --nonstop \ +python $RVZR_DIR/revizor.py tfuzz -s $RVZR_DIR/base.json -n $TEST_PROGS -i $TEST_INPUTS -c $CFG_DIR/template_nonif.yaml -w $VIOL_DIR -t $CFG_DIR/template_AV.asm --nonstop \ &> $SCRIPT_DIR/output.out & # template_VA.asm # template_onlyV.asm