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

Remove shellcheck warning #607

Merged
merged 12 commits into from
Sep 9, 2024
Merged

Remove shellcheck warning #607

Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
ac9c003
Update Randoop to 4.3.3
markro49 Sep 3, 2024
3ed3c6f
Merge ../defects4j-branch-java-11-compatibility into java-11-compatib…
mernst Sep 6, 2024
e86f814
Address shellcheck warnings
mernst Sep 6, 2024
95c679b
Install checkbashisms
mernst Sep 6, 2024
0b45378
Undo a change
mernst Sep 7, 2024
fdcce34
Undo a change
mernst Sep 7, 2024
373f7ca
Undo a change
mernst Sep 7, 2024
b0e9557
Rename variable for clarity
mernst Sep 7, 2024
da07d97
Remove trailing blank line
mernst Sep 7, 2024
9ccee24
Notes about style checking
mernst Sep 7, 2024
22ca1db
Remove shellcheck disable
mernst Sep 7, 2024
3bfd77a
Merge ../defects4j-branch-java-11-compatibility into java-11-compatib…
mernst Sep 9, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions framework/lib/test_generation/bin/randoop.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -65,8 +65,7 @@ ERR_BASE_NAME=ErrorTest
#shellcheck disable=SC2153 # D4J_DIR_TESTGEN_LIB is not a typo of D4J_DIR_TESTGEN_BIN
version=$(java -cp "$D4J_DIR_TESTGEN_LIB/randoop-current.jar" randoop.main.Main | head -1)
printf "\n(%s)" "$version" >&2
# shellcheck disable=SC1083
printf ".%.0s" {1..expr 73 - length "$version"} >&2
printf ".%.0s" \{1..expr 73 - length "$version"\} >&2
printf " " >&2

# The most common package in file $D4J_FILE_TARGET_CLASSES.
Expand Down