Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Compile Java regression test sources (5/n) #8556

Draft
wants to merge 56 commits into
base: develop
Choose a base branch
from
Draft

Compile Java regression test sources (5/n) #8556

wants to merge 56 commits into from

Conversation

peterschrammel
Copy link
Member

of jbmc/(c.*|d.*) JBMC regression tests

Cf. #8487

  • Each commit message has a non-empty body, explaining why the change was made.
  • [n/a] Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.
  • [n/a] The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/
  • [n/a] Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).
  • [n/a] My commit message includes data points confirming performance improvements (if claimed).
  • My PR is restricted to a single feature or bugfix.
  • [n/a] White-space or formatting changes outside the feature-related changed lines are in commits of their own.

@peterschrammel
Compile jbmc/aastore_aaload1 test sources
a4d7bcb
@peterschrammel
Compile jbmc/address_space_size_limit1 test sources
6945f84
@peterschrammel
Compile jbmc/address_space_size_limit2 test sources
c889830
@peterschrammel
Compile jbmc/annotations1 test sources
24431cc 
Add pom.xml for compilation,
move sources
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/annotations2 test sources
7c4c4d4 
Add pom.xml for compilation,
move sources,
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArithmeticException2 test sources
7872535 
Add pom.xml for compilation,
move sources,
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArithmeticException3 test sources
938c457 
Add pom.xml for compilation,
move sources,
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArithmeticException4 test sources
d8b2b78 
Add pom.xml for compilation,
move sources,
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArithmeticException5 test sources
586ba7b 
Add pom.xml for compilation,
move sources,
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArithmeticException6 test sources
4d58e0b 
Add pom.xml for compilation,
move sources,
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArithmeticException7 test sources
439237f 
Add pom.xml for compilation,
move sources,
remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array1 test sources
6d031dd 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array2 test sources
5c4f12e 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array-cell-sensitivity1 test sources
bfe834e 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array-cell-sensitivity2 test sources
0a12c6f 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array-cell-sensitivity-negative-size test sources
a7ef50a 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array-cell-sensitivity-static-fields test sources
d46969a 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array-clone test sources
771abf4 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/array_nonconstsize_nonconstaccess test sources
6934785 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArrayIndexOutOfBoundsException1 test sources
7dae0fc 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArrayIndexOutOfBoundsException2 test sources
59796ab 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/ArrayIndexOutOfBoundsException3 test sources
b1a4c4b 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/arraylength1 test sources
0cc9746 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/arrayread1 test sources
6bb6767 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assert1 test sources
cfee411 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assert2 test sources
79dae81 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assert3 test sources
cfdb307 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assert4 test sources
2cdc758 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assert5 test sources
5ae6f15 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assert6 test sources
40580f7 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assert-no-exceptions-thrown test sources
5fea352 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assertion_error_constructors test sources
f443643 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Make Java regression test compilation depend on models-library
88b9223 
First build java-models-library which also downloads cprover-api.jar.
Then compile java-regression.
@peterschrammel
Compile jbmc/assume1 test sources
162efb6 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assume2 test sources
27943e9 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assume3 test sources
7dc8b11 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assume-inputs-integral test sources
64ea6ee 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assume-inputs-interval test sources
211f3b5 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/assume-inputs-non-null test sources
f961761 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/astore_aload1 test sources
ddb0a72 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/athrow1 test sources
cc11af1 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/basic1 test sources
e2344df 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/basic2 test sources
d96f44a 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/bitwise1 test sources
c397834 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/boolean1 test sources
a9eafe4 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/boolean2 test sources
f09b98d 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/cast1 test sources
fe549d7 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/cast_null1 test sources
bc5ecbf 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/cast_null2 test sources
1ec7884 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/catch1 test sources
ce13d28 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel peterschrammel force-pushed the ps/compile-java-regression-test-sources5 branch from 3308bff to 2cd16d8 Compare January 5, 2025 14:56
@peterschrammel
Fix nonsensical jbmc/catch1 test
b2c1912 
some_exception1 and some_exception2 classes were missing,
leading to wrong results.
Changed to test to check in heritance behavior on
catching exception classes.
@peterschrammel
Compile jbmc/char1 test sources
bcfb852 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel
Compile jbmc/class-fields test sources
adc0cb3 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
Add missing desiredAssertionStatus method to local java.lang.Class model.
@peterschrammel
Add jasmin-maven-plugin
582024c 
For compilation of .j Java assembler files.
@peterschrammel
Compile jbmc/class-literals test sources
2fa26a9 
Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.
@peterschrammel peterschrammel force-pushed the ps/compile-java-regression-test-sources5 branch from 2cd16d8 to 2fa26a9 Compare January 5, 2025 16:25
@codecov Codecov
Copy link

codecov bot commented Jan 5, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 78.82%. Comparing base (1e99418) to head (2fa26a9).

Additional details and impacted files 
@@           Coverage Diff            @@
##           develop    #8556   +/-   ##
========================================
  Coverage    78.82%   78.82%           
========================================
  Files         1730     1730           
  Lines       199101   199101           
  Branches     18317    18317           
========================================
  Hits        156939   156939           
  Misses       42162    42162

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
dependent - do not merge work in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@peterschrammel