Add options for reduction, and add clean target

tests/model-checking/Makefile

@@ -4,9 +4,15 @@ CFLAGS=-Wall -Wextra -g $(STARPU)/src/common/rbtree.c
 LDFLAGS=-lsimgrid
 
 MC_FLAGS=--cfg=model-check/reduction:none
+#MC_FLAGS+=--cfg=contexts/factory:ucontext
+#MC_FLAGS+=--cfg=model-check/sparse-checkpoint:yes
+#MC_FLAGS+=--cfg=model-check/visited:1000
 
 test: prio_list
 	simgrid-mc ./prio_list platform.xml MAIN $(MC_FLAGS)
 
 debug: prio_list
 	simgrid-mc ./prio_list platform.xml MAIN --log=mc_safety.thres:debug $(MC_FLAGS)
+
+clean:
+	rm -f prio_list