[Benchmark] add unlink

bench/utils/unlink/Makefile

@@ -0,0 +1,14 @@
+PROJECT_DIR := $(abspath $(dir $(lastword $(MAKEFILE_LIST))))
+REPO_ROOT := $(abspath $(PROJECT_DIR)/../../..)
+LOCAL_TASK := $(notdir $(PROJECT_DIR))
+
+.PHONY: build verify test
+
+build:
+	python3 -m benchmarks.make_tasks build --root "$(REPO_ROOT)" --task "$(LOCAL_TASK)"
+
+verify:
+	python3 -m benchmarks.verify --project "$(PROJECT_DIR)" --library "$(PROJECT_DIR)/../../core"
+
+test:
+	python3 -m benchmarks.make_tasks test --root "$(REPO_ROOT)" --task "$(LOCAL_TASK)"

bench/utils/unlink/Tests.dfy

@@ -0,0 +1,25 @@
+include "UnlinkSchema.dfy"
+
+module UnlinkTests {
+  import S = UnlinkSchema
+  import C = CliTypes
+
+  // Ordinary operands select execution mode and retain their pathname.
+  method {:test} TestOrdinaryOperand() {
+    var parsed := C.ParsedArgs("unlink", [], ["target"], false);
+    var raw := S.Decode(parsed);
+    expect raw.mode == S.ModeRun;
+    expect raw.operands == ["target"];
+  }
+
+  // Help preceding version selects help mode.
+  method {:test} TestHelpBeforeVersion() {
+    var parsed := C.ParsedArgs("unlink", [
+      C.OptOccurrence("unlink.help", C.Long("help"), C.None, 0, "--help"),
+      C.OptOccurrence("unlink.version", C.Long("version"), C.None, 1, "--version")
+    ], [], false);
+    var raw := S.Decode(parsed);
+    expect raw.mode == S.ModeHelp;
+  }
+
+}