add benchmark files for line_gap.sml and adjust the Makefile in /bench/ directory to use them

This commit is contained in:
2024-07-21 00:45:37 +01:00
parent 98f93701fd
commit 9be5d36e50
11 changed files with 126 additions and 10 deletions

View File

@@ -0,0 +1,13 @@
structure LineGapAutomerge: TRANSACTION =
struct
type t = LineGap.t
val empty = LineGap.empty
val insert = LineGap.insert
val delete = LineGap.delete
val toString = LineGap.toString
val txns = AutomergePaper.txns
end
structure Main = Run(LineGapAutomerge)
val _ = Main.run ()