Update tests to rocq

Author: proux01

tests/Makefile

@@ -1,4 +1,4 @@
-COQC=coqc
+ROCQC=rocq c
 
 all: success output
 
@@ -7,10 +7,10 @@ success: $(addsuffix o,$(wildcard success/*.v))
 output: $(addsuffix o,$(wildcard output/*.v))
 
 success/%.vo: success/%.v
-	$(COQC) $<
+	$(ROCQC) $<
 
 output/%.vo: output/%.v
 	input=$<; \
 	output=$${input%.v}.out.real; \
-	$(COQC) $< 2>&1 > $$output; \
+	$(ROCQC) $< 2>&1 > $$output; \
 	diff --strip-trailing-cr $${input%.v}.out $$output