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

Merge SRI-CSL and kelloggm changes #18

Merged
merged 144 commits into from
Sep 10, 2021
Merged

Merge SRI-CSL and kelloggm changes #18

merged 144 commits into from
Sep 10, 2021

Conversation

wmdietl
Copy link
Member

@wmdietl wmdietl commented Sep 1, 2021

No description provided.

tim-mccarthy and others added 30 commits May 11, 2017 11:37
@tim-mccarthy
Fail with an error code if build fails.
033e5a3
@tim-mccarthy
Make sure mvn captures are done in Batch mode
d604fb2 
- Newer versions of maven include color output, which breaks our
  parser. Batch mode disables colors.
@tim-mccarthy
Add option to guess source files if they're missing from build output
9430c18
@mernst
Print timeout seconds, for better debugging
40d2e3b
@tim-mccarthy
Merge pull request #19 from mernst/print-timeout
4decbe3 
Print timeout seconds, for better debugging
Add omitmethods flag for Randoop tool, using updated, camel-cased flags
fe0b32e
Merge branch 'master' of https://github.com/SRI-CSL/do-like-javac
05adbcb
Changed tabs to spaces, correcting flag names to most-up-to-date vers…
05140bd 
…ions
@mernst
Add comment about how to produce Randoop debugging logs
2cb5f63
Corrected rc_classpath
d6fb135
Merging from omit_methods
26e23c3
Correcting spacing
03cfa85
Corrected syntax error
d42d536
Added replacement file argument to javaagent
38a4ad7
@tim-mccarthy
Merge pull request #23 from huangwaylon/omit_methods
a2b5210 
Add omitmethods flag to Randoop tool
Updated flaky test flag for Randoop 4
e4e08df
@tim-mccarthy
Merge pull request #24 from huangwaylon/flaky-test-argument
265afc5 
Updated flaky test flag for Randoop 4
@markro49
correct name of replacement file; remove vi temp file
e182c90
@tim-mccarthy
Merge pull request SRI-CSL#25 from markro49/dyntrace
62fe7cd 
correct name of replacement file; remove vi temp file
@tim-mccarthy
Add z3 to checker framework classpath
35df209
@markro49
no need for replacement-file argument
a334871
@tim-mccarthy
Merge pull request SRI-CSL#26 from markro49/randoop-update
46a64dc 
no need for replacement-file argument
@markro49
randoop needs to be on compile classpath due to replacement of System…
264aae1 
….exit with SystemExitCalledError
@tim-mccarthy
Merge pull request SRI-CSL#27 from markro49/randoop-update
2152114 
randoop needs to be on compile classpath
@tim-mccarthy
Add -X option to make dyntrace produce XML
124aa14
@tim-mccarthy
Generate JSON file of daikon invariants if generating XML
d09b43a
@tim-mccarthy
Fix JSON invariant generation with inner classes
75b4728
@tim-mccarthy
Add some fault tolerance to dyntrace
93d3c16
@tim-mccarthy
Fix missing argument
a058b85
@tim-mccarthy
Actually fix missing argument
7b31e29
mernst and others added 19 commits May 11, 2021 10:28
@mernst
Add date to temporary directory name (#36)
365d162
@kelloggm
Revert "Add date to temporary directory name (#36)" (#39)
543b31f 
This reverts commit 365d162.
@mernst
Capitalization
8dbb4ab
@kelloggm
don't rely on git-clone-related for the version of DLJC that's under …
8b0dd96 
…test (#40)
@mernst
Add Makefile to enforce style rules (#38)
a30286c
@kelloggm
run 2to3 and fix up some errors that resulted (#22)
6dcad96
@kelloggm
silly commit (#42)
9bc789d
@kelloggm
Add support for ./mvnw
e10ccd3
@kelloggm
better error message
e72e640
@mernst
Add date to temporary directory name (#45)
2394905
@kelloggm
fix formatting
e289b97
@kelloggm @jwaataja
diff stub directories recursively
06f3e77 
Co-authored-by: Jason Waataja <jwaataja@cs.washington.edu>
@jwaataja
Use ajava files (SRI-CSL#25)
4a78794
@mernst @kelloggm
Make the time string more human-readable (#48)
aaad183 
Co-authored-by: Martin Kellogg <kelloggm@cs.washington.edu>
@kelloggm
remove -AmergeStubsWithSource, because it's not needed with Ajava fil…
2b868ca 
…es: (#49)
@neilccbrown
Added support for JDK 16 (and the extra add-opens that it requires). …
0cc5091 
…Needed for checker-framework's WPI to run on JDK 16. (#50)

Co-authored-by: Neil Brown <neil@twistedsquare.com>
@neilccbrown
Fix parsing of command line arguments, especially --add-opens (#51)
7a98bdf 
* Stopped the argument parser getting confused when you have "--a=b c" and thinking that c is the value of the "a=b" switch.

* Fix an issue where the argument parsing could remove "--add-opens" but leave in the target value of the add-opens as a dangling parameter.

Co-authored-by: Neil Brown <neil@twistedsquare.com>
@jwaataja
Fix test name (#52)
869580b
@wmdietl
Merge branch 'master' of https://github.com/kelloggm/do-like-javac in…
3fa83f8 
…to kelloggm-wpi
@wmdietl wmdietl mentioned this pull request Sep 1, 2021
Closed
This was referenced Sep 9, 2021
Merged
Merged
@wmdietl wmdietl merged commit d1197ed into master Sep 10, 2021
@wmdietl wmdietl deleted the kelloggm-wpi branch September 10, 2021 01:09
@Ao-senXiong
Copy link

@wmdietl Looks like this update breaks testminimizer

  File "/home/axiong/test-minimizer/do-like-javac/do_like_javac/tools/testminimizer.py", line 366, in interesting
    exec_result = ToolRunningUtil.running_tool(self.tool_args, file_list, self.target_classpath, "file_set_minimization")
  File "/home/axiong/test-minimizer/do-like-javac/do_like_javac/tools/testminimizer.py", line 397, in running_tool
    tool_cmd = SUPPORT_TOOLS[args.debuggedTool].get_tool_command(args, target_classpath, file_list)
AttributeError: module 'do_like_javac.tools.check' has no attribute 'get_tool_command'

@wmdietl
Copy link
Member Author

wmdietl commented Jun 2, 2024

@Ao-senXiong Can you open an issue instead? This comment on a merged PR is easy to miss.

@Ao-senXiong Ao-senXiong mentioned this pull request Jun 3, 2024
Open
@Ao-senXiong
Copy link

File "/home/axiong/test-minimizer/do-like-javac/do_like_javac/tools/testminimizer.py", line 366, in interesting
exec_result = ToolRunningUtil.running_tool(self.tool_args, file_list, self.target_classpath, "file_set_minimization")
File "/home/axiong/test-minimizer/do-like-javac/do_like_javac/tools/testminimizer.py", line 397, in running_tool
tool_cmd = SUPPORT_TOOLS[args.debuggedTool].get_tool_command(args, target_classpath, file_list)
AttributeError: module 'do_like_javac.tools.check' has no attribute 'get_tool_command'

Done!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@wmdietl wmdietl

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
10 participants
@wmdietl @Ao-senXiong @tim-mccarthy @mernst @markro49 @kelloggm @msridhar @jwaataja @neilccbrown @zcai1