Updating hash-mint tests with new MInt{128}

runtimeverification · Oct 21, 2024 · c609e81 · c609e81
1 parent c048aca
commit c609e81
Show file tree

Hide file tree

Showing 5 changed files with 425 additions and 263 deletions.
diff --git a/in.kore b/in.kore
@@ -0,0 +1 @@
+LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lblfoo'LParRParUnds'TEST'Unds'KItem{}())))
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),Lblfoo'LParRParUnds'TEST'Unds'KItem{}())))