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

Creating debug-command flag on llvm-krun #851

Merged
merged 4 commits into from
Oct 4, 2023
Merged

Creating debug-command flag on llvm-krun #851

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
4b45c3d
Creating `debug-command` flag on `llvm-krun`
Robertorosmaninho Oct 3, 2023
be76698
Introducing `--debug-batch` flag to `llvm-krun`
Robertorosmaninho Oct 3, 2023
c00f372
Merge be76698fc26b2f55387d9cbcb2ea854e7fb2a79e into 0952940a242d8909d…
Robertorosmaninho Oct 3, 2023
2ac2d29
Update Maven dependencies
Oct 3, 2023
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
19 changes: 18 additions & 1 deletion bin/llvm-krun
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ trap 'cleanup' INT TERM EXIT
initializer="LblinitGeneratedTopCell{}"
dir=.
debug=
debug_command=
depth=-1
verbose=0
binary_input=false
Expand Down Expand Up @@ -64,7 +65,9 @@ Mandatory arguments to long options are mandatory for short options too.
KORE format, rather than the textual syntax;
-p, --pretty-print Pretty print output configuration. By default,
output is in kore syntax
--debug Use GDB to debug program
--debug Use GDB to debug the program
--debug-batch Use GDB in batch mode to debug the program
--debug-command FILE Execute GDB commands from FILE to debug the program
--depth INT Execute up to INT steps
-i, --initializer INIT Use INIT as the top cell initializer
-nm, --no-expand-macros Don't expand macros in initial configuration
Expand Down Expand Up @@ -156,6 +159,20 @@ do
shift;
;;

--debug-command)
debug_command="$2"
if [[ -z $debug ]]; then
debug="gdb -x ${debug_command} --args "
else
debug="${debug/--args /} -x ${debug_command} --args "
fi
shift;
;;

--debug-batch)
debug="gdb --batch --args "
;;

--depth)
depth="$2"
shift; shift
Expand Down
12 changes: 6 additions & 6 deletions nix/llvm-backend-matching.mavenix.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -246,15 +246,15 @@
"sha1": "fdec6f2d2514787039928bcb781f9e67f4738899"
},
{
"path": "com/runtimeverification/k/kore/1.0-SNAPSHOT/kore-1.0-20230930.025149-29.jar",
"sha1": "04972642a285d27d20767761d593840798a5ffd5"
"path": "com/runtimeverification/k/kore/1.0-SNAPSHOT/kore-1.0-20231003.172436-30.jar",
"sha1": "8c3e43f073c3344e745919b0df8d3dbce36bef81"
},
{
"path": "com/runtimeverification/k/kore/1.0-SNAPSHOT/kore-1.0-20230930.025149-29.pom",
"path": "com/runtimeverification/k/kore/1.0-SNAPSHOT/kore-1.0-20231003.172436-30.pom",
"sha1": "2706d868319a03bc491350cb3a1af0927ef1a839"
},
{
"path": "com/runtimeverification/k/parent/1.0-SNAPSHOT/parent-1.0-20230930.025126-29.pom",
"path": "com/runtimeverification/k/parent/1.0-SNAPSHOT/parent-1.0-20231003.172408-30.pom",
"sha1": "62b92746f9104b7966075e98dc7b69c44475c72c"
},
{
Expand Down Expand Up @@ -5337,11 +5337,11 @@
"groupId": "com.runtimeverification.k",
"metas": [
{
"content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n <groupId>com.runtimeverification.k</groupId>\n <artifactId>kore</artifactId>\n <version>1.0-SNAPSHOT</version>\n <versioning>\n <snapshot>\n <timestamp>20230930.025149</timestamp>\n <buildNumber>29</buildNumber>\n </snapshot>\n <lastUpdated>20230930025149</lastUpdated>\n <snapshotVersions>\n <snapshotVersion>\n <extension>jar</extension>\n <value>1.0-20230930.025149-29</value>\n <updated>20230930025149</updated>\n </snapshotVersion>\n <snapshotVersion>\n <extension>pom</extension>\n <value>1.0-20230930.025149-29</value>\n <updated>20230930025149</updated>\n </snapshotVersion>\n </snapshotVersions>\n </versioning>\n</metadata>",
"content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n <groupId>com.runtimeverification.k</groupId>\n <artifactId>kore</artifactId>\n <version>1.0-SNAPSHOT</version>\n <versioning>\n <snapshot>\n <timestamp>20231003.172436</timestamp>\n <buildNumber>30</buildNumber>\n </snapshot>\n <lastUpdated>20231003172436</lastUpdated>\n <snapshotVersions>\n <snapshotVersion>\n <extension>jar</extension>\n <value>1.0-20231003.172436-30</value>\n <updated>20231003172436</updated>\n </snapshotVersion>\n <snapshotVersion>\n <extension>pom</extension>\n <value>1.0-20231003.172436-30</value>\n <updated>20231003172436</updated>\n </snapshotVersion>\n </snapshotVersions>\n </versioning>\n</metadata>",
"path": "com/runtimeverification/k/kore/1.0-SNAPSHOT"
},
{
"content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n <groupId>com.runtimeverification.k</groupId>\n <artifactId>parent</artifactId>\n <version>1.0-SNAPSHOT</version>\n <versioning>\n <snapshot>\n <timestamp>20230930.025126</timestamp>\n <buildNumber>29</buildNumber>\n </snapshot>\n <lastUpdated>20230930025126</lastUpdated>\n <snapshotVersions>\n <snapshotVersion>\n <extension>pom</extension>\n <value>1.0-20230930.025126-29</value>\n <updated>20230930025126</updated>\n </snapshotVersion>\n </snapshotVersions>\n </versioning>\n</metadata>",
"content": "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<metadata modelVersion=\"1.1.0\">\n <groupId>com.runtimeverification.k</groupId>\n <artifactId>parent</artifactId>\n <version>1.0-SNAPSHOT</version>\n <versioning>\n <snapshot>\n <timestamp>20231003.172408</timestamp>\n <buildNumber>30</buildNumber>\n </snapshot>\n <lastUpdated>20231003172408</lastUpdated>\n <snapshotVersions>\n <snapshotVersion>\n <extension>pom</extension>\n <value>1.0-20231003.172408-30</value>\n <updated>20231003172408</updated>\n </snapshotVersion>\n </snapshotVersions>\n </versioning>\n</metadata>",
"path": "com/runtimeverification/k/parent/1.0-SNAPSHOT"
}
],
Expand Down
Loading