Skip to content

Commit 52f522d

Browse files
author
Matthias Güdemann
committed
Add README to tests pointing to jasmin bytecode assembler
1 parent 8cacd7d commit 52f522d

File tree

9 files changed

+81
-0
lines changed

9 files changed

+81
-0
lines changed

‎regression/cbmc-java/stack_var1/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var2/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var3/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var4/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var5/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var6/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var7/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var8/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

‎regression/cbmc-java/stack_var9/README

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
This regression test is created from the .j file with the jasmin assembler.
2+
https://github.com/Sable/jasmin
3+
4+
On Ubuntu, it is available as jasmin-sable. To convert a .j file, it is
5+
sufficient to do
6+
7+
> jasmin $FILE.j
8+
9+
and it will create the corresponding $FILE.class file.

0 commit comments

Comments
 (0)