Addifing first GDB tests

Robertorosmaninho · Robertorosmaninho · commit d58fd1c8a36e · 2024-05-12T21:47:02.000-03:00
diff --git a/test/debugger/commands/simple.gdb b/test/debugger/commands/simple.gdb
@@ -0,0 +1,4 @@
+k start
+k step
+k step 99
+k step
diff --git a/test/debugger/inputs/simple.in.kore b/test/debugger/inputs/simple.in.kore
@@ -0,0 +1 @@
+LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("0")))))
diff --git a/test/debugger/k-files/simple.k b/test/debugger/k-files/simple.k
@@ -0,0 +1,6 @@
+module SIMPLE
+  imports INT
+
+  rule I => I +Int 1
+    requires I <Int 100
+endmodule
diff --git a/test/debugger/outputs/simple.out.diff.kore b/test/debugger/outputs/simple.out.diff.kore
@@ -0,0 +1 @@
+Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("100")),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("100")),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))
diff --git a/test/debugger/simple/definition.kore b/test/debugger/simple/definition.kore

-Original file line number
+Diff line change
@@ @@ -0,0 +1,4 @@ @@
 +k start
 +k step
 +k step 99
 +k step
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}("$PGM")),inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("0")))))`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("100")),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))Lbl'-LT-'generatedTop'-GT-'{}(Lbl'-LT-'k'-GT-'{}(kseq{}(inj{SortInt{}, SortKItem{}}(\dv{SortInt{}}("100")),dotk{}())),Lbl'-LT-'generatedCounter'-GT-'{}(\dv{SortInt{}}("0")))`