Run Infer test

augustss · Feb 15, 2024 · daa225f · daa225f
1 parent 8693a06
commit daa225f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/Makefile b/tests/Makefile
@@ -61,6 +61,7 @@ test:
 	$(TMHS) Read       && $(EVAL) > Read.out       && diff Read.ref Read.out
 	$(TMHS) ListCompr  && $(EVAL) > ListCompr.out  && diff ListCompr.ref ListCompr.out
 	$(TMHS) ParseInd   && $(EVAL) > ParseInd.out   && diff ParseInd.ref ParseInd.out
+	$(TMHS) Infer      && $(EVAL) > Infer.out      && diff Infer.ref Infer.out
 
 errtest:
 	sh errtester.sh < errmsg.test