Skip to content

Commit 2cd16d8

Browse files
peterschrammelpeterschrammel
committed
Compile jbmc/class-literals test sources
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
1 parent 678ee8f commit 2cd16d8

20 files changed

+47
-26
lines changed

‎jbmc/regression/jbmc/class-literals/ExampleAnnotation.class‎

-154 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/ExampleEnum.class‎

-668 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/ExampleInterface.class‎

-113 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/ExampleSynthetic.class‎

-110 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/Test.class‎

-1.61 KB
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/java/lang/Class.class‎

-1.37 KB
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/org/cprover/CProver.class‎

-536 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/org/cprover/CProver.java‎

Lines changed: 0 additions & 15 deletions
This file was deleted.

‎jbmc/regression/jbmc/class-literals/org/cprover/MustNotThrow.class‎

-156 Bytes
Binary file not shown.

‎jbmc/regression/jbmc/class-literals/org/cprover/MustNotThrow.java‎

Lines changed: 0 additions & 8 deletions
This file was deleted.

0 commit comments

Comments
 (0)