Remove klee_stubs and add CI for if_statements test#14
Open
Conversation
KLEE must be installed for GameTime to work, so the no-op stub implementations in klee_stubs/ are unnecessary. Add a new test.yml CI workflow that builds KLEE, FlexPRET, and the xPack RISC-V toolchain from source (with aggressive caching) and runs `gametime test/if_statements --backend flexpret` on ubuntu-22.04. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
- Disable TCMalloc (gperftools not available on runner) - Explicitly set LLVM_DIR to LLVM 16 to avoid picking up system LLVM 15 - Rename job from if-statements to basic-tests for future extensibility Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
The PyPI package name is 'pyyaml', which is already listed. The bare 'yaml' entry does not exist on PyPI and breaks pip install. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
GameTime uses llvm-as during preprocessing but the unversioned symlink was not created for it. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
The SDK's CMakeLists.txt references cmake/confighash.cmake relative to the FlexPRET root. Build directly in /opt/flexpret instead of selectively copying files. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
klee_stubs/: KLEE must be installed for GameTime to work, so the no-op stub implementations are unnecessary.test.ymlCI workflow: Builds KLEE, FlexPRET, and the xPack RISC-V toolchain from source (with aggressive caching) and runsgametime test/if_statements --backend flexpretonubuntu-22.04.Test plan
if_statementstest passes with theflexpretbackendklee_stubs/🤖 Generated with Claude Code