Gregory M. Kapfhammer

Results 37 issues of Gregory M. Kapfhammer

Hello! Thanks for creating the coq_nvim plugin! I have really appreciated how easy it is to get it up and running and the speed with which is suggests the completions....

**Is your feature request related to a problem? Please describe.** The current version of GatorGrader does not have a way to perform spellchecking on the submitted technical writing. While it...

feature
improve
linting

It would be useful if it was possible to analyze how the individuals in a team contributed to the submitted solution. The idea would be to continue to use the...

feature
improve
on-hold

One problem that we have identified with the existing documentation in this repository and in the repository for GatorGrader's Gradle plugin is that it is hard to know "where to...

feature

If you run GatorGrader inside of a Docker container on Windows 10 Pro or Windows 10 Enterprise, especially in the `cmd` prompt, there are some circumstances in which the checkmark...

bug
feature
on-hold

**Describe the bug** ``` ――――――――――――――――――― test_no_arguments_incorrect_system_exit ――――――――――――――――――― capsys = def test_no_arguments_incorrect_system_exit(capsys): """No command-line arguments causes SystemExit crash of argparse with error output.""" with pytest.raises(SystemExit): _ = check_CountFileLines.parse([]) captured = capsys.readouterr()...

bug
tests

Issue #192 explains that we want to create new repositories that contain examples that are organized in a new fashion and that adhere to a new naming convention. Once all...

feature

Current the tests in the `test_invoke` suite are achieving full statement coverage. However, the tests do not have stringent checks on the status of the function under test, like `invoke.invoke_all_fragment_checks`....

help-wanted
improve
tests

Right now, the GatorGrader tool can check, for instance, if a file in a directory exhibits certain properties like a Java program containing a specific number of single-line comments. While...

feature
help-wanted
need-info

The current implementation of GatorGrader can only count the number of commits in a repository past a certain number. However, it would also be useful if the tool could look...

feature
command-line
linting