av

brianfu · Jul 31, 2024 · 654c570 · 654c570
1 parent 24d70e7
commit 654c570
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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